class ['a] listbox : render:('a -> string) -> ?width:int -> ?height:int -> unit -> object .. end
['a]
render:('a -> string) -> ?width:int -> ?height:int -> unit ->
object
end
Toolbox.widget
Toolbox.selector
method get : 'a list
'a list
method set : 'a list -> unit
'a list -> unit
method insert : int -> 'a -> unit
int -> 'a -> unit
method on_insert_request : (int -> unit) -> unit
(int -> unit) -> unit