unit ->
object
val mutable click : GuiSource.selection -> unit
val mutable prove : GuiSource.selection -> 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 on_click : (GuiSource.selection -> unit) -> unit
method on_prove : (GuiSource.selection -> unit) -> unit
method register :
GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> 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 -> GuiSource.selection -> unit
end