X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaConsole.mli;fp=helm%2Fmatita%2FmatitaConsole.mli;h=2cbd1ffe33d33c5c6f97afbe20ed7a7b815721fe;hb=4cf419a2e770f4971be7b03b1d73e585d973dc1b;hp=ee7b8d4fb351445e7552073271e0ccef006f0c5e;hpb=9af598ece6749c1854799f5aa83133b9e3da052c;p=helm.git

diff --git a/helm/matita/matitaConsole.mli b/helm/matita/matitaConsole.mli
index ee7b8d4fb..2cbd1ffe3 100644
--- a/helm/matita/matitaConsole.mli
+++ b/helm/matita/matitaConsole.mli
@@ -38,6 +38,8 @@ class console:
 
       (** override previous callback definition *)
     method set_callback   : (string -> unit) -> unit
+
+    method ignore_insert_text_signal: bool -> unit
   end
 
   (** @param prompt user prompt (default "# ")