string ->
object
- method setQuitCallback : (unit -> unit) -> unit
+ method setQuitCallback : (unit -> unit) -> unit
+ method setPhraseCallback : (string -> unit) -> unit
- method uriChoices: MatitaGtkMisc.stringListModel
-
- (** {2 Access to low-level GTK widgets} *)
+ (** {2 Access to lower-level GTK widgets} *)
method about : MatitaGeneratedGui.aboutWin
- method dialog : MatitaGeneratedGui.genericDialog
+ method check : MatitaGeneratedGui.checkWin
method fileSel : MatitaGeneratedGui.fileSelectionWin
- method interpChoice : MatitaGeneratedGui.interpChoiceDialog
method main : MatitaGeneratedGui.mainWin
method proof : MatitaGeneratedGui.proofWin
method toolbar : MatitaGeneratedGui.toolBarWin
- method uriChoice : MatitaGeneratedGui.uriChoiceDialog
+
+ (** {2 Access to GUI useful components} *)
+
+ method console: MatitaConsole.console
+
+ (** {2 Dialogs instantiation}
+ * methods below create a new window on each invocation. You should
+ * remember to destroy windows after use *)
+
+ method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
+ method newInterpDialog: unit -> MatitaGeneratedGui.interpChoiceDialog
+ method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
+ method newEmptyDialog: unit -> MatitaGeneratedGui.emptyDialog
end
+ (** singleton instance of the gui *)
+val instance: unit -> gui
+