`tree:'a GToolbox.tree ->
label:('a -> string) ->
info:('a -> string) ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
object
val obj : Gtk.widget Gtk.obj
val mutable selection : 'a option
method as_widget : Gtk.widget Gtk.obj
method clear_selection : unit -> unit
method coerce : GObj.widget
method destroy : unit -> unit
method drag : GObj.drag_ops
method get_oid : int
method misc : GObj.misc_ops
method selection : 'a option
method wtree : GBroken.tree
method wview : GText.view
end`