object   method add_accelerator : Gdk.Tags.modifier -> char -> unit   method check_menu_item : GMenu.check_menu_item option   method menu : GMenu.menu option   method menu_item : GMenu.menu_item option   method menu_item_skel : GMenu.menu_item_skel option   method toggle_tool_button : GButton.toggle_tool_button option   method tool_button : GButton.tool_button option   method tool_button_skel : GButton.tool_button_skel option end