Class type Menu_manager.item


class type item = object .. end
The item type corresponding to an entry.
Since Boron-20100401

method menu_item : GMenu.menu_item option
Since Boron-20100401
method tool_button : GButton.tool_button option
Since Boron-20100401
method add_accelerator : Gdk.Tags.modifier -> char -> unit
Add an accelerator iff there is a menu item.
Since Boron-20100401