snapshot

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

diff --git a/helm/matita/matitaConsole.mli b/helm/matita/matitaConsole.mli
index d591e25e2e43e1c3bad9d43beeacaedbe5924801..a8e272e227d0826cc4db167a344e9ee4abc0fbbb 100644 (file)
--- a/helm/matita/matitaConsole.mli
+++ b/helm/matita/matitaConsole.mli
@@ -42,7 +42,7 @@ class console:
       * just after it; defaults to the empty string *)
     method show           : ?msg:string -> unit -> unit
     method hide           : unit -> unit
-(*     method toggle         : unit -> unit *)
+    method toggle         : unit -> unit
 
     method prompt         : string
     method set_prompt     : string -> unit
@@ -56,8 +56,9 @@ class console:
     method ignore_insert_text_signal: bool -> unit
 
       (** execute a unit -> unit function, if it raises exceptions shows them as
-      * errors in the console *)
-    method wrap_exn       : (unit -> unit) -> unit
+      * errors in the console.
+      * @return true if no exception has been raised, false otherwise *)
+    method wrap_exn       : (unit -> unit) -> bool
   end
 
   (** @param prompt user prompt (default "# ")