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 function showBranch(branch,path){\r
   7         var objBranch = document.getElementById(branch).style;\r
   8         if(objBranch.display=="block")\r
   9                 objBranch.display="none";\r
  10         else\r
  11                 objBranch.display="block";\r
  12         swapFolder('I' + branch);\r
  13         // codice per mostrare il path nella casella di testo\r
  14 }\r
  15 \r
  16 function swapFolder(img){\r
  17         objImg = document.getElementById(img);\r
  18         if(objImg.src.indexOf('treeview/closed.gif')>-1)\r
  19                 objImg.src = openImg.src;\r
  20         else\r
  21                 objImg.src = closedImg.src;\r
  22 }\r