sig
type where =
Toolbar of GtkStock.id * string
| Menubar of GtkStock.id option * string
| ToolMenubar of GtkStock.id * string
type entry = Menu_manager.where * (unit -> unit)
class type item =
object
method add_accelerator : Gdk.Tags.modifier -> char -> unit
method menu_item : GMenu.menu_item option
method tool_button : GButton.tool_button option
end
class menu_manager :
?packing:(GObj.widget -> unit) ->
host:Gtk_helper.host ->
object
method add_debug :
?title:string ->
?show:(unit -> bool) ->
Menu_manager.entry list -> Menu_manager.item array
method add_entries :
?title:string ->
?pos:int ->
GMenu.menu -> Menu_manager.entry list -> Menu_manager.item array
method add_menu : ?pos:int -> string -> GMenu.menu_item * GMenu.menu
method add_plugin :
?title:string -> Menu_manager.entry list -> Menu_manager.item array
method factory : GMenu.menu_shell GMenu.factory
method menubar : GMenu.menu_shell
method set_sensitive : bool -> unit
method toolbar : GButton.toolbar
end
end