X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGtkMisc.mli;h=9c8ae97f34f974249dcf45d094b4440bb4c35689;hb=481992ea591bf53cba758a96e7d42e9cdce7e129;hp=5bb6fa09d55af6be82170e23a3ea4c3cc41b7d35;hpb=eb8dc961c7f9dc2e76a1eb29e2fcf94304011566;p=helm.git

diff --git a/helm/matita/matitaGtkMisc.mli b/helm/matita/matitaGtkMisc.mli
index 5bb6fa09d..9c8ae97f3 100644
--- a/helm/matita/matitaGtkMisc.mli
+++ b/helm/matita/matitaGtkMisc.mli
@@ -52,7 +52,7 @@ class type gui =
   object  (* minimal gui object requirements *)
     method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
     method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
-    method newTextDialog: unit -> MatitaGeneratedGui.textDialog
+    method newEmptyDialog: unit -> MatitaGeneratedGui.emptyDialog
   end
 
   (** {3 Dialogs} *)