Frama-C:
Plug-ins:
Libraries:

Frama-C API - popup

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.