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){\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 }\r
  14 \r
  15 function swapFolder(img){\r
  16         objImg = document.getElementById(img);\r
  17         if(objImg.src.indexOf('treeview/closed.gif')>-1)\r
  18                 objImg.src = openImg.src;\r
  19         else\r
  20                 objImg.src = closedImg.src;\r
  21 }\r