X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.ml;h=540a839ddd99fec4fc09f04b1ee82875aa395c2d;hb=10df455f8e84b4b1f793e26d432dc19ba4ee93a0;hp=c3e169c50a371c39051cc7b9863484cfc2f00053;hpb=98016b0996c55891b7fbf85d0ead98235441b14f;p=helm.git

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index c3e169c50..540a839dd 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -292,7 +292,8 @@ class gui () =
       let newScript () = 
         (s ())#reset (); 
         (s ())#template (); 
-        disableSave () 
+        disableSave ();
+        script_fname <- None
       in
       let cursor () =
         source_buffer#place_cursor