X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.mli;h=848f52bf680c1e465daf48b7f05d06777c67dbca;hb=481992ea591bf53cba758a96e7d42e9cdce7e129;hp=734f1cefe3c7810baad27b956ce149eb110b8368;hpb=c5d4ad1c98c1434b95a8a9b1c8697dd36cf39623;p=helm.git diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli index 734f1cefe..848f52bf6 100644 --- a/helm/matita/matitaGui.mli +++ b/helm/matita/matitaGui.mli @@ -38,18 +38,22 @@ class gui : method setQuitCallback : (unit -> unit) -> unit - method uriChoices: MatitaGtkMisc.stringListModel - (** {2 Access to low-level GTK widgets} *) method about : MatitaGeneratedGui.aboutWin - method dialog : MatitaGeneratedGui.genericDialog 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 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