module Menu_manager:sig
..end
type
where =
| |
Toolbar of |
(* |
Label then tooltip
| *) |
| |
Menubar of |
(* |
Label
| *) |
| |
ToolMenubar of |
(* |
Label then tooltip
| *) |
type
callback_state =
| |
Unit_callback of |
| |
Bool_callback of |
Bool_callback
. Currently checks menus cannot have images in
Gtk, or the GtkStock.id
fields of where
are ignored.type
entry = private {
|
e_where : |
|||
|
e_callback : |
(* |
callback called when the button is clicked
| *) |
|
e_sensitive : |
(* |
should the button be activated when the gui
is refreshed
| *) |
If not supplied, the sensitive
parameter is the function that always
returns true
.
val toolbar : ?sensitive:(unit -> bool) ->
icon:GtkStock.id ->
label:string ->
?tooltip:string -> callback_state -> entry
?sensitive:(unit -> bool) ->
?icon:GtkStock.id ->
string -> callback_state -> entry
: ?sensitive:(unit -> bool) ->
icon:GtkStock.id ->
label:string ->
?tooltip:string -> callback_state -> entry
: class type item =object
..end
class menu_manager :?packing:GObj.widget -> unit -> host:Gtk_helper.host ->
object
..end