man GToolbox.tree_selection () - A class to make the user select a node in a tree.

NAME

GToolbox.tree_selection - A class to make the user select a node in a tree.

Class

Class GToolbox.tree_selection

Documentation

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.

Parameters:

"tree"

'a GToolbox.tree

is the tree to display.

"label"

'a -> string

gives a label from the data of a node.

"info"

'a -> string

gives a (Utf8) string from the data of a node, to give more information to the user when he selects a node.

"packing"

(GObj.widget -> unit) option

"show"

bool option

""

unit

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