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