package frama-c

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

Contextual menu. The #popup method can be called inside a right-click callback. For instance: widget#on_right_click menu#popup.

method clear : unit

Remove all items

method add_item : label:string -> callback:(unit -> unit) -> unit

Adds an item.

method add_separator : unit

Inserts a separator. Consecutive and trailing separators are eliminated.

method run : unit -> unit

Run the menu.