Class GuiSource.popup

class popup : unit -> object .. end

val mutable click : selection -> unit
val mutable prove : selection -> unit
method on_click : (selection -> unit) -> unit
method on_prove : (selection -> unit) -> unit
method private add_rte : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
string ->
(Cil_types.kernel_function -> unit) Pervasives.ref ->
Cil_types.kernel_function -> unit
method private rte_popup : GMenu.menu GMenu.factory ->
Design.main_window_extension_points -> Pretty_source.localizable -> unit
method private wp_popup : GMenu.menu GMenu.factory -> selection -> unit
method register : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit