package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

The item type corresponding to an entry.

  • since Boron-20100401
method menu_item : GMenu.menu_item option
  • since Boron-20100401
method check_menu_item : GMenu.check_menu_item option
  • since Nitrogen-20111001
method menu_item_skel : GMenu.menu_item_skel option
  • since Nitrogen-20111001
method menu : GMenu.menu option

Return the menu in which the item has been inserted, if meaningful

  • since Nitrogen-20111001
method add_accelerator : Gdk.Tags.modifier -> char -> unit

Add an accelerator iff there is a menu item.

  • since Boron-20100401
method tool_button : GButton.tool_button option
  • since Boron-20100401
method toggle_tool_button : GButton.toggle_tool_button option
  • since Nitrogen-20111001
method tool_button_skel : GButton.tool_button_skel option
  • since Nitrogen-20111001