X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaGui.ml;h=b2f509b25ca036f2b16ab5003b1a10e6c721f867;hb=b36918dbc0e6d0c70c92551e34bdc65cbfddddec;hp=7fe9cdedb5357e94917da928a74ddb9de96ba3e4;hpb=54e4c7dc896732bafcd907b0380d59efa0a181b7;p=helm.git

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index 7fe9cdedb..b2f509b25 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -58,6 +58,7 @@ class console ~(buffer: GText.buffer) () =
     method clear () =
       buffer#delete ~start:buffer#start_iter ~stop:buffer#end_iter
     method log_callback (tag: HLog.log_tag) s =
+      let s = Pcre.replace ~pat:"\\[0;3.m([^]+)\\[0m" ~templ:"$1" s in
       match tag with
       | `Debug -> self#debug (s ^ "\n")
       | `Error -> self#error (s ^ "\n")
@@ -1155,6 +1156,7 @@ class gui () =
       else
         begin
           script#assignFileName (Some file);
+          let file = script#filename in
           let content =
            if Sys.file_exists file then file
            else BuildTimeConf.script_template