class ['a]
tree_selection : 'a tree
-> 'a -> string
-> 'a -> string
-> (GObj.widget -> unit) option
-> bool option
-> 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.
Inherits
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