X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.ml;h=017f3955512668b579b8834c2f7a938e359b4b38;hb=cc465115cdeea9819f43a5ad219b07c4f928c43a;hp=f5d873d1997c7c9fd7961d395b8f8b28e896dbc7;hpb=26cace1b5a8a80b83d6a974c222ef1a07d561c30;p=helm.git

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index f5d873d19..017f39555 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -97,10 +97,13 @@ class gui file =
       dialog#check_widgets ();
       dialog
 
-    method newConfirmationDialog ~title ~msg () =
+    method newConfirmationDialog () =
       let dialog = new confirmationDialog ~file () in
-      dialog#confirmationDialog#set_title title;
-      dialog#confirmationDialogLabel#set_label msg;
+      dialog#check_widgets ();
+      dialog
+
+    method newTextDialog () =
+      let dialog = new textDialog ~file () in
       dialog#check_widgets ();
       dialog