(** {2 Access to low-level GTK widgets} *)
method about : MatitaGeneratedGui.aboutWin
- method dialog : MatitaGeneratedGui.genericDialog
method fileSel : MatitaGeneratedGui.fileSelectionWin
method main : MatitaGeneratedGui.mainWin
method proof : MatitaGeneratedGui.proofWin
* 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 newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
+ method newInterpDialog: unit -> MatitaGeneratedGui.interpChoiceDialog
+ method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
+ method newEmptyDialog: unit -> MatitaGeneratedGui.emptyDialog
end