Matitaweb: Save as...

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

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 221ef90b56f3c6361d5338d48c71d5a89548498e..48acfe13e223a0118b03b5d96ddc7b1a36250513 100644 (file)
--- 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) {