Widget.popup
Contextual menu. The #popup method can be called inside a right-click callback. For instance: widget#on_right_click menu#popup.
#popup
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.