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