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 ]val build_menu : GMenu.menu -> entries:menu_entry list -> unitval popup_menu : entries:menu_entry list -> button:int -> time:int32 -> unitval question_box :
?parent:GWindow.window_skel ->
title:string ->
buttons:string list ->
?default:int ->
?icon:GObj.widget ->
string ->
intval message_box :
?parent:GWindow.window_skel ->
title:string ->
?icon:GObj.widget ->
?ok:string ->
string ->
unitval input_string :
?parent:GWindow.window_skel ->
title:string ->
?ok:string ->
?cancel:string ->
?text:string ->
string ->
string optionval input_text :
?parent:GWindow.window_skel ->
title:string ->
?ok:string ->
?cancel:string ->
?text:string ->
string ->
string optionclass !'a tree_selection : tree:'a tree -> label:('a ->
string) -> info:('a ->
string) -> ?packing:(GObj.widget ->
unit) -> ?show:bool -> unit -> object ... endval tree_selection_dialog :
?parent:GWindow.window_skel ->
tree:'a tree ->
label:('a -> string) ->
info:('a -> string) ->
title:string ->
?ok:string ->
?cancel:string ->
?width:int ->
?height:int ->
?show:bool ->
unit ->
'a optionval create_shortcuts :
window:GWindow.window_skel ->
shortcuts:'a shortcut_specification list ->
callback:('a -> unit) ->
unitval autosize_clist : 'a GList.clist -> unit