X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGui.ml;h=236d32f6887867e648677893493fb63fd70b9f69;hb=b9a7832bdd58be9ab5b9547af880bea152f2c3ce;hp=f38a278597a51f1dd7fbeaf23d7a97751bbd4271;hpb=364d23cb116e167d3b23f6ef0412830e816e5e92;p=helm.git

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index f38a27859..236d32f68 100644
--- a/matita/matita/matitaGui.ml
+++ b/matita/matita/matitaGui.ml
@@ -874,6 +874,7 @@ class gui () =
          let script = MatitaScript.at_page page in
           script#activate;
           main#saveMenuItem#misc#set_sensitive script#has_name));
+      self#newScript ()
 
     method private externalEditor () =
      let script = MatitaScript.current () in
@@ -975,7 +976,7 @@ class gui () =
      let script = MatitaScript.at_page page in 
       self#closeScript page script
 
-    method newScript () = 
+    method private newScript () = 
        let scrolledWindow = GBin.scrolled_window () in
        let hbox = GPack.hbox () in
        let tab_label = GMisc.label ~text:"foo"