Matitaweb: changes in file selection dialog box.

diff --git a/matitaB/matita/treeview/xmlTree.js b/matitaB/matita/treeview/xmlTree.js
index 0f3547bad04894610d4f0cf4f237f538718291d1..c3210adc35feafe0476c655d701283723d179703 100644 (file)
--- a/matitaB/matita/treeview/xmlTree.js
+++ b/matitaB/matita/treeview/xmlTree.js
@@ -3,6 +3,8 @@ openImg.src = "treeview/open.gif";
 var closedImg = new Image();\r
 closedImg.src = "treeview/closed.gif";\r
 \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
@@ -11,6 +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
 }\r
 \r
 function swapFolder(img){\r