?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