tools/monodoc/Resources/helper.js

   1 function toggle_display (block) {\r
   2   var w = document.getElementById (block);\r
   3   var t = document.getElementById (block + ":toggle");\r
   4   if (w.style.display == "none") {\r
   5     w.style.display = "block";\r
   6                 t.getElementsByTagName("img")[0].setAttribute ("src", "xtree/images/clean/Lminus.gif"); // <img src="xtree/images/clean/Lminus.gif">\r
   7   } else {\r
   8     w.style.display = "none";\r
   9                 t.getElementsByTagName("img")[0].setAttribute ("src", "xtree/images/clean/Lplus.gif"); // <img src="xtree/images/clean/Lplus.gif">\r
  10   }\r
  11 }\r
  12 \r