Rechercher une page de manuel
GToolbox.tree_selection.3o
Langue: en
Version: 293880 (debian - 07/07/09)
Section: 3 (Bibliothèques de fonctions)
Sommaire
NAME
GToolbox.tree_selection - A class to make the user select a node in a tree.Class
Class GToolbox.tree_selectionDocumentation
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
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre