?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 refresh : unit -> unit
  method set_sensitive : bool -> unit
  method toolbar : GButton.toolbar
end