Matitaweb: Save as...

[helm.git] / matitaB / matita / treeview / xmlTree.js

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index 18153485936aaaf9ef36d3c41c2f7a4d5f965c1e..c1a5c997fad566e6612a2603c419fbc3622ee09a 100644 (file)
--- a/matitaB/matita/treeview/xmlTree.js
+++ b/matitaB/matita/treeview/xmlTree.js
@@ -29,5 +29,5 @@ function selectFile(path) {
 }\r
 \r
 function dialogOK() {\r
-          retrieveFile(document.getElementById("dialogFilename").value);\r
+          dialogBox.callback(document.getElementById("dialogFilename").value);\r
 }\r