Useful functions for LablGTK.
type menu_entry = [ | `I of string * (unit -> unit)| `C of string * bool * (bool -> unit)| `R of (string * bool * (bool -> unit)) list| `M of string * menu_entry list ]Tree description of a menu
val build_menu : GMenu.menu -> entries:menu_entry list -> unitBuild a menu from a tree description
val popup_menu : entries:menu_entry list -> button:int -> time:int32 -> unitPopup a menu created from the given list of labels and functions.
val question_box :
?parent:GWindow.window_skel ->
title:string ->
buttons:string list ->
?default:int ->
?icon:GObj.widget ->
string ->
intThis 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.
the parent window in the front of which it should be displayed. this also sets the destroy_with_parent property.
the title of the dialog
the list of button labels.
the index of the default answer
a widget (usually a pixmap) which can be displayed on the left of the window.
the text to display
val message_box :
?parent:GWindow.window_skel ->
title:string ->
?icon:GObj.widget ->
?ok:string ->
string ->
unitThis 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.
the parent window in the front of which it should be displayed. this also sets the destroy_with_parent property.
the title of the dialog
a widget (usually a pixmap) which can be displayed on the left of the window.
the text for the ok button (default is "Ok")
the text to display
val input_string :
?parent:GWindow.window_skel ->
title:string ->
?ok:string ->
?cancel:string ->
?text:string ->
string ->
string optionMake the user type in a string.
None if the user clicked on cancel, or Some s if the user clicked on the ok button.
the parent window in the front of which it should be displayed. this also sets the destroy_with_parent property.
the title of the dialog
the text for the confirmation button (default is "Ok")
the text for the cancel button (default is "Cancel")
the default text displayed in the entry widget
the text to display
val input_text :
?parent:GWindow.window_skel ->
title:string ->
?ok:string ->
?cancel:string ->
?text:string ->
string ->
string optionMake the user type in a text.
None if the user clicked on cancel, or Some s if the user clicked on the ok button.
the parent window in the front of which it should be displayed. this also sets the destroy_with_parent property.
the title of the dialog
the text for the confirmation button (default is "Ok")
the text for the cancel button (default is "Cancel")
the default text displayed in the entry widget (utf8)
the text to display
A keyboard shorcut: a combination of Alt, Control and Shift and a letter.
A shortcut specification: name of a GTK+ signal to emit, keyboard shortcuts and the message to send. The name must be unique.
val create_shortcuts :
window:GWindow.window_skel ->
shortcuts:'a shortcut_specification list ->
callback:('a -> unit) ->
unitSetup the given shortcut spec list for the given window and callback. This create the GTK+ signal, associate the keyboard shortcuts to it, make the window listen to these shortcuts and eventually call the given callback with the messages from the shortcut specification.