update in binaries for λδ

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

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index c3210adc35feafe0476c655d701283723d179703..c1a5c997fad566e6612a2603c419fbc3622ee09a 100644 (file)
--- a/matitaB/matita/treeview/xmlTree.js
+++ b/matitaB/matita/treeview/xmlTree.js
@@ -13,7 +13,7 @@ function showBranch(branch,path){
                objBranch.display="block";\r
        swapFolder('I' + branch);\r
        // codice per mostrare il path nella casella di testo\r
-       dialogFilename.value = path;\r
+       selectFile(path);\r
 }\r
 \r
 function swapFolder(img){\r
@@ -23,3 +23,11 @@ function swapFolder(img){
        else\r
                objImg.src = closedImg.src;\r
 }\r
+\r
+function selectFile(path) {\r
+       dialogFilename.value = path;\r
+}\r
+\r
+function dialogOK() {\r
+          dialogBox.callback(document.getElementById("dialogFilename").value);\r
+}\r