class['a]tree_selection :tree:'a tree -> label:('a -> string) -> info:('a -> string) -> ?packing:GObj.widget -> unit -> ?show:bool -> unit ->object..end
A class to make the user select a node in a tree.
tree : is the tree to display.label : gives a label from the data of a node.info : gives a (Utf8) string from the data of a node,
to give more information to the user when he selects
a node.val obj : Gtk.widget Gtk.obj
val mutable selection : 'a option
method clear_selection : unit -> unit
method selection : 'a option
method wview : GText.view
method wtree : GBroken.tree