Matitaweb: fixed "new file".

[helm.git] / matitaB / matita / matitaweb.js

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index fc90080d255a16cd18ed359ef624a2f8e8e83046..ec19562b248e819a0ab1bb3fb25e35aa59c318d1 100644 (file)
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -707,7 +707,8 @@ function newDialog()
 {
        callback = function (fname) { 
          dialogBox.style.display = "none";
-         saveFile(fname,"","",false,newDialog); 
+         saveFile(fname,"","",false,newDialog);
+          retrieveFile(fname);
        };
        showLibrary("Create new file", callback);
 }