module Menu_manager: sig
.. end
Handle the menubar and the toolbar.
Since Boron-20100401
type
where =
| |
Toolbar of GtkStock.id * string * string |
| |
of GtkStock.id option * string |
| |
of GtkStock.id * string * string |
Where to put a new entry.
Since Boron-20100401
type
callback_state =
| |
Unit_callback of (unit -> unit) |
| |
Bool_callback of (bool -> unit) * (unit -> bool) |
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, sor the GtkStock.id
fields of where
are ignored.
Since Nitrogen-20111001
type
entry = private {
}
Since Boron-20100401
Change in Nitrogen-20111001
If not supplied, the active
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.
class menu_manager : ?packing:GObj.widget -> unit -> host:Gtk_helper.host ->
object
.. end
How to handle a Frama-C menu.