Module Menu_manager


module Menu_manager: sig .. end
Handle the menubar and the toolbar.
Since Boron-20100401


type where =
| Toolbar of GtkStock.id * string (*Tooltip*)
| Menubar of GtkStock.id option * string (*Label*)
| ToolMenubar of GtkStock.id * string (*Label and tooltip*)
Where to put a new entry.
Since Boron-20100401
type entry = where * (unit -> unit) 
callback
Since Boron-20100401
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