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