-
- method fileSel : MatitaGeneratedGui.fileSelectionWin
- method main : MatitaGeneratedGui.mainWin
- method findRepl : MatitaGeneratedGui.findReplWin
-(* method toolbar : MatitaGeneratedGui.toolBarWin *)
-
- method console: console
- method sourceView: GSourceView2.source_view
-
- (** {2 Dialogs instantiation}
- * methods below create a new window on each invocation. You should
- * remember to destroy windows after use *)
-
- method newBrowserWin: unit -> browserWin
- method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
- method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
- method newEmptyDialog: unit -> MatitaGeneratedGui.emptyDialog
-
- (** {2 Selections / clipboards handling} *)
-
- method canCopy: bool
- method canCut: bool
- method canDelete: bool
- method canPaste: bool
- method canPastePattern: bool
-
- method markupSelected: bool
-
- method copy: unit -> unit
- method cut: unit -> unit
- method delete: unit -> unit
- method paste: unit -> unit
- method pastePattern: unit -> unit