Matitaweb:

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

diff --git a/matitaB/matita/html/treeview/xmlTree.js b/matitaB/matita/html/treeview/xmlTree.js
new file mode 100644 (file)
index 0000000..c1a5c99
--- /dev/null
+++ b/matitaB/matita/html/treeview/xmlTree.js
@@ -0,0 +1,33 @@
+var openImg = new Image();\r
+openImg.src = "treeview/open.gif";\r
+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
+               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
+       objImg = document.getElementById(img);\r
+       if(objImg.src.indexOf('treeview/closed.gif')>-1)\r
+               objImg.src = openImg.src;\r
+       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