snapshot

[helm.git] / helm / matita / matitaGui.mli

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index f7faab8c586cee43cf4ae9c0894d1a46444ca608..87a5c05de4fde0e2db055fb21908142479116ff8 100644 (file)
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -41,7 +41,6 @@ class gui :
       (** {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
@@ -53,6 +52,9 @@ class gui :
 
     method newUriDialog :     unit -> MatitaGeneratedGui.uriChoiceDialog
     method newInterpDialog :  unit -> MatitaGeneratedGui.interpChoiceDialog
+    method newConfirmationDialog :
+      title:string -> msg:string -> unit ->
+        MatitaGeneratedGui.confirmationDialog
 
   end