method about : MatitaGeneratedGui.aboutWin
method fileSel : MatitaGeneratedGui.fileSelectionWin
method main : MatitaGeneratedGui.mainWin
+ method findRepl : MatitaGeneratedGui.findReplWin
(* method toolbar : MatitaGeneratedGui.toolBarWin *)
method console: console
method askText: ?title:string -> ?msg:string -> unit -> string option
method loadScript: string -> unit
+ method setStar: string -> bool -> unit
(** {3 Fonts} *)
method increaseFontSize: unit -> unit