milestone in basic_2

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

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index 9c25b413694d2039e90ff6acf8c989ea6565c5d3..c1a5c997fad566e6612a2603c419fbc3622ee09a 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
+          dialogBox.callback(document.getElementById("dialogFilename").value);\r
+}\r