man GToolbox () - Useful functions for LablGTK.
NAME
GToolbox - Useful functions for LablGTK.
Module
Module GToolbox
Documentation
Module GToolbox : sig end
Useful functions for LablGTK.
=== Menus ===
type menu_entry = [ `C of string * bool * (bool -> unit) | `I of string * (unit -> unit) | `M of string * menu_entry list | `R of (string * bool * (bool -> unit)) list | `S ]
Tree description of a menu
val build_menu : GMenu.menu -> entries:menu_entry list -> unit Build a menu from a tree description
val popup_menu : entries:menu_entry list -> button:int -> time:int32 -> unit Popup a menu created from the given list of labels and functions.
=== Parametrized dialog windows ===
val question_box : title:string -> buttons:string list -> ?default:int -> ?icon:#GObj.widget -> string -> int This function is used to display a question in a dialog box, with a parametrized list of buttons. The function returns the number of the clicked button (starting at 1), or 0 if the window is savagedly destroyed.
val message_box : title:string -> ?icon:#GObj.widget -> ?ok:string -> string -> unit This function is used to display a message in a dialog box with just an Ok button. We use question_box with just an ok button.
val input_string : title:string -> ?ok:string -> ?cancel:string -> ?text:string -> string -> string option Make the user type in a string. Returns
None if the user clicked on cancel, or Some s if the user clicked on the ok button.
val input_text : title:string -> ?ok:string -> ?cancel:string -> ?text:string -> string -> string option Make the user type in a text. Returns
None if the user clicked on cancel, or Some s if the user clicked on the ok button.
val select_file : title:string -> ?dir:string Pervasives.ref -> ?filename:string -> unit -> string option This function allows the user to select a file and returns the selected file name. A VOIR : multi-selection ?
type 'a tree = [ `L of 'a | `N of 'a * 'a tree list ]
A tree.
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.
val tree_selection_dialog : tree:'a tree -> label:('a -> string) -> info:('a -> string) -> title:string -> ?ok:string -> ?cancel:string -> ?width:int -> ?height:int -> ?show:bool -> unit -> 'a option A function to make the user select a node in a tree. Returns The data associated to the selected node, or None if the user canceled the selection.
=== Miscellaneous functions ===
val autosize_clist : 'a GList.clist -> unit Resize the columns of a clist according to the length of the content and the title of each column.