1var openImg = new Image(); 2openImg.src = "open.gif"; 3var closedImg = new Image(); 4closedImg.src = "closed.gif"; 5 6function showBranch(branch){ 7 var objBranch = document.getElementById(branch); 8 9 if(objBranch.style.display=="block" | objBranch.style.display=="") 10 objBranch.style.display="none"; 11 else 12 objBranch.style.display="block"; 13 swapFolder('I' + branch); 14} 15 16function swapFolder(img){ 17 objImg = document.getElementById(img); 18 if(objImg.src.indexOf('closed.gif')>-1) 19 objImg.src = openImg.src; 20 else 21 objImg.src = closedImg.src; 22} 23 24function sleep(numberMillis){ 25 var now = new Date(); 26 var exitTime = now.getTime() + numberMillis; 27 while (true){ 28 now = new Date(); 29 if (now.getTime() > exitTime) return; 30 } 31}; 32 33function highlightBranch(branch){ 34 35 var objBranch = document.getElementById(branch); 36 var objBack = objBranch.style.background; 37 38 objBranch.style.background = "#FFCC80"; 39 window.setTimeout("unhiglightBranch('" + branch + "','" + objBack + "')", 5000) 40 41} 42 43function unhiglightBranch(branch, objBack) { 44 var objBranch = document.getElementById(branch); 45 objBranch.style.background = objBack; 46}