tools/leaky/leaky.js

   1 var lastIn;
   2 function I(event) {
   3   var it = event.target;
   4   if (it) {
   5     var s = it.src;
   6     s = s.replace("-over", "");         // just in case
   7     s = s.replace(".gif", "-over.gif");
   8     it.src = s;
   9     lastIn = it;
  10   }
  11 }
  12 function O(event) {
  13   var it = lastIn;
  14   if (it) {
  15     var s = it.src;
  16     s = s.replace("-over", "");
  17     it.src = s;
  18     lastIn = null;
  19   }
  20 }
  21 function C(event) {
  22   var it = event.target;
  23   if (!it) return;
  24   var kids = it.parentNode.childNodes;
  25   if (!kids) return;
  26   for (var i = 0; i < kids.length; i++) {
  27     var kid = kids[i];
  28     if ((kid.nodeType == Node.ELEMENT_NODE) && (kid.tagName == "DIV")) {
  29       var d = kid.style.display;
  30       if ((d == "") || (d == null) || (d == "none")) {
  31         it.src = it.src.replace("close", "open");
  32         kid.style.display = "block";
  33       } else {
  34         kid.style.display = "none";
  35         it.src = it.src.replace("open", "close");
  36       }
  37     }
  38   }
  39 }