Class Widget.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.