(** {2 Access to singleton instances of lower-level GTK widgets} *)
method about : MatitaGeneratedGui.aboutWin
- method check : MatitaGeneratedGui.checkWin
method fileSel : MatitaGeneratedGui.fileSelectionWin
method main : MatitaGeneratedGui.mainWin
- method proof : MatitaGeneratedGui.proofWin
method script: MatitaGeneratedGui.scriptWin
method toolbar : MatitaGeneratedGui.toolBarWin
(** {2 Access to GUI useful components} *)
- method console: MatitaConsole.console
+ method console: MatitaTypes.console
(** {2 Dialogs instantiation}
* methods below create a new window on each invocation. You should
(** prompt the user for a (multiline) text entry *)
method askText: ?title:string -> ?msg:string -> unit -> string option
- (** lock script text view from the beginning to the given offset (in UTF-8
- * characters) *)
- method lockScript: int -> unit
-
end
(** singleton instance of the gui *)