?packing:(GObj.widget -> unit) ->
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 refresh : unit -> unit
method set_sensitive : bool -> unit
method toolbar : GButton.toolbar
end