Matitaweb: more changes to file selection dialog box.

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

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index 9c25b413694d2039e90ff6acf8c989ea6565c5d3..18153485936aaaf9ef36d3c41c2f7a4d5f965c1e 100644 (file)
--- a/matitaB/matita/treeview/xmlTree.js
+++ b/matitaB/matita/treeview/xmlTree.js
@@ -27,3 +27,7 @@ function swapFolder(img){
 function selectFile(path) {\r
        dialogFilename.value = path;\r
 }\r
+\r
+function dialogOK() {\r
+          retrieveFile(document.getElementById("dialogFilename").value);\r
+}\r