snapshot

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

diff --git a/helm/matita/matitaGtkMisc.mli b/helm/matita/matitaGtkMisc.mli
index 5bb6fa09d55af6be82170e23a3ea4c3cc41b7d35..9c8ae97f34f974249dcf45d094b4440bb4c35689 100644 (file)
--- 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} *)