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