unit ->
object
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
end