/** * This function regenerates the menu bar frame based on the abstract * representation coded in the calling page. It takes three parameters, * the ID of the current page, whether the current page's tree should be * displayed in expanded form, and whether or not to load the current * page in the specified frame. */ function reDisplay(currentNumber,currentIsExpanded,loadPage) { if (arguments.length < 3) loadPage = true; // whether or not to load the current page, or just redraw the menu //with (menubar.document) { with (top.frames[1].document) { open(); writeln("\n\nToC\n"); writeln(""); writeln("\n"); writeln("\n"); writeln("\n\n"); writeln(""); writeln("
\n"); writeln("\n"); var currentNumArray = currentNumber.split("."); var currentLevel = currentNumArray.length-1; var scrollY=0, addScroll=true, theHref="", theTarget=""; for (i=initialMenuBucket; i 0) { for (j=0; jcurrentLevel)?false:toDisplay && (thisNumArray[j] == currentNumArray[j]); } } thisIsExpanded = toDisplay && (thisNumArray[thisLevel] == currentNumArray[thisLevel]) if (currentIsExpanded) { toDisplay = toDisplay && (thisLevel<=currentLevel); if (isCurrentNumber) thisIsExpanded = false; } if (toDisplay) { if (i==0) { writeln("\n"); for (k=0; k "); } write(""); } else { if (addScroll) scrollY+=((thisLevel<2)?mdi:sml)*25; if (isCurrentNumber) addScroll=false; var isLeaf = (i==tocTab.length-1) || (thisLevel >= tocTab[i+1][0].split(".").length-1); writeln(""); for (k=1; k<=thisLevel; k++) { writeln(""); } write(""); } } } writeln("
" + tocTab[i][1] + "
 
 "); if (imagescheme == "none") { write(""); } else { img = imageschemerootdir + imagescheme + "_"; img += (isLeaf)?"leaf":(thisIsExpanded)?"minus":"plus"; write(""); } write(" " + ((showNumbers)?(thisNumber+" "):"") + tocTab[i][1] + ""); if (verticalspacing > 0) { write("
"); } writeln("
"); writeln("
\n"); writeln(""); close(); } // end with(toc.document) //menubar.scroll(0,scrollY); if (loadPage) { if ( theTarget == "new" ) { //window.open(theHref,""," dialogWidth:800; dialogHeight:580; resizeable=yes;"); //window.open(theHref,"","scrollbars=yes, resizeable=yes, width=800, height=580"); window.open(theHref,"","toolbar=yes, location=yes, status=yes, menubar=yes, scrollbars=yes, width=800, height=500'"); } else { if (theHref != "") { content.location.href = '/'+theHref; } } } }