matitaB/matita/treeview/xmlTree.js

   1 var openImg = new Image();\r
   2 openImg.src = "treeview/open.gif";\r
   3 var closedImg = new Image();\r
   4 closedImg.src = "treeview/closed.gif";\r
   5 \r
   6 var diaFilename = document.getElementById("dialogFilename");\r
   7 \r
   8 function showBranch(branch,path){\r
   9         var objBranch = document.getElementById(branch).style;\r
  10         if(objBranch.display=="block")\r
  11                 objBranch.display="none";\r
  12         else\r
  13                 objBranch.display="block";\r
  14         swapFolder('I' + branch);\r
  15         // codice per mostrare il path nella casella di testo\r
  16         selectFile(path);\r
  17 }\r
  18 \r
  19 function swapFolder(img){\r
  20         objImg = document.getElementById(img);\r
  21         if(objImg.src.indexOf('treeview/closed.gif')>-1)\r
  22                 objImg.src = openImg.src;\r
  23         else\r
  24                 objImg.src = closedImg.src;\r
  25 }\r
  26 \r
  27 function selectFile(path) {\r
  28         dialogFilename.value = path;\r
  29 }\r
  30 \r
  31 function dialogOK() {\r
  32           dialogBox.callback(document.getElementById("dialogFilename").value);\r
  33 }\r