module Menu_manager:sig
..end
Handle the menubar and the toolbar.
type
where =
| |
Toolbar of |
(* | Label then tooltip | *) |
| |
Menubar of |
(* | Label | *) |
| |
ToolMenubar of |
(* | Label then tooltip | *) |
Where to put a new entry.
type
callback_state =
| |
Unit_callback of |
| |
Bool_callback of |
Callback for the buttons that can be in the menus. Standard buttons/menus
have a callback with no argument. Buttons/menus with states are displayed
with checkboxes in menus, or as toggle buttons in toolbars. They receive the
after-click state as argument. The state of the button with the second
argument 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
The item type corresponding to an entry.
:?packing:GObj.widget -> unit -> Gtk_helper.host ->
object
..end
How to handle a Frama-C menu.