X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitaweb.js;h=48acfe13e223a0118b03b5d96ddc7b1a36250513;hb=b352c0b72bb62f7b4a44952aebc01f405f6af817;hp=221ef90b56f3c6361d5338d48c71d5a89548498e;hpb=88e311c949bede27c6a42e3a01a9b70717cee9be;p=helm.git

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 221ef90b5..48acfe13e 100644
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -693,13 +693,17 @@ function openDialog()
 
 function saveDialog()
 {  
-	callback = function (fname) { saveFile(fname,false); };
+	callback = function (fname) { 
+	  dialogBox.style.display = "none";
+  	  current_fname = fname;
+          saveFile(fname,false); 
+        };
 	showLibrary("Save file as", callback);
 }
 
 function saveFile(fname,force)
 {
-        if (!is_defined(fname) {
+        if (!is_defined(fname)) {
             fname = current_fname;
         }
 	processor = function(xml) {