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