method setQuitCallback : (unit -> unit) -> unit
method setPhraseCallback : (string -> MatitaTypes.command_outcome) -> unit
- (** {2 Access to lower-level GTK widgets} *)
+ (** {2 Access to singleton instances of lower-level GTK widgets} *)
method about : MatitaGeneratedGui.aboutWin
- method browser : MatitaGeneratedGui.browserWin
- method check : MatitaGeneratedGui.checkWin
method fileSel : MatitaGeneratedGui.fileSelectionWin
method main : MatitaGeneratedGui.mainWin
- method proof : MatitaGeneratedGui.proofWin
method script: MatitaGeneratedGui.scriptWin
method toolbar : MatitaGeneratedGui.toolBarWin
* methods below create a new window on each invocation. You should
* remember to destroy windows after use *)
+ method newBrowserWin: unit -> MatitaGeneratedGui.browserWin
method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
method newInterpDialog: unit -> MatitaGeneratedGui.interpChoiceDialog
method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog