'a list Pervasives.ref ->
string list option ->
string option ->
('-> 'a) option ->
('-> string list) ->
('-> string option) ->
('-> '-> bool) ->
(unit -> 'a list) ->
string ->
bool ->
GData.tooltips ->
object
  val mutable list_select : int list
  method box : GBin.event_box
  method edit_selected : ('-> 'a) -> unit
  method up_selected : unit
  method update : 'a list -> unit
end