X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaConsole.mli;h=2cbd1ffe33d33c5c6f97afbe20ed7a7b815721fe;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=ee7b8d4fb351445e7552073271e0ccef006f0c5e;hpb=56415e42c04f40e9c8f7cfc59a3a3d87c3d373f7;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 "# ")