Matitaweb: 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 9fdbb34dddfea6706baaf1724fb9a0ff78744190..9c25b413694d2039e90ff6acf8c989ea6565c5d3 100644 (file)
--- a/matitaB/matita/treeview/xmlTree.js
+++ b/matitaB/matita/treeview/xmlTree.js
@@ -3,13 +3,17 @@ openImg.src = "treeview/open.gif";
 var closedImg = new Image();\r
 closedImg.src = "treeview/closed.gif";\r
 \r
-function showBranch(branch){\r
+var diaFilename = document.getElementById("dialogFilename");\r
+\r
+function showBranch(branch,path){\r
        var objBranch = document.getElementById(branch).style;\r
        if(objBranch.display=="block")\r
                objBranch.display="none";\r
        else\r
                objBranch.display="block";\r
        swapFolder('I' + branch);\r
+       // codice per mostrare il path nella casella di testo\r
+       selectFile(path);\r
 }\r
 \r
 function swapFolder(img){\r
@@ -19,3 +23,7 @@ function swapFolder(img){
        else\r
                objImg.src = closedImg.src;\r
 }\r
+\r
+function selectFile(path) {\r
+       dialogFilename.value = path;\r
+}\r