/*
====================
AVENET MENU NAV v3.1
====================
Changelog:
v3.0 - added support for pri/sec horiz/vert in any combination
- major code cleaning
- optimized HTML output using registration functions and more OO syntax
v3.1 - added deferred positioning
- improved right edge detection
- added awareness of bottom edge and scroll position
- menus will now "bounce" off the bottom edge
- couple of event processing efficiency fixes
- menus now cache their positioned state
v3.1.1 - removed some harmful fudge in the shadow contruction code for IE7
- off by one workaround and PNG fix no longer needed
*/
function ConsoleWindow() // self-contained ConsoleWindow Class
{
// Methods
this.print = ConsoleWindow_print;
this.command = ConsoleWindow_command;
// Constructor
var x = 350;
var y = 250;
var stylesheet = "BODY{ margin: 0px; font:12px Monaco,Courier; background-color:black; }";
stylesheet += "DIV#mainDiv{ padding: 5px;padding-top: 40px; }\n";
stylesheet += "DIV#inputDiv{ position: fixed; top: 0px; left: 0px; padding:5px; background-color: #DDD; width:98%; border-bottom: 1px solid #999; border-top: 1px solid white; }";
stylesheet += "INPUT{ width: 100%; }";
stylesheet += "FORM{ margin: 0px; }";
this.wObj = window.open("","debugWindow", "height="+ y + ",width=" + x + ",top=1,left=1,scrollbars=yes,resizable=yes");
if( this.wObj ) {
this.wDoc = this.wObj.document;
this.wDoc.open();
this.wDoc.write("");
this.wDoc.close();
this.mainDiv = this.wDoc.getElementById("mainDiv");
if( !this.mainDiv ) this.mainDiv = this.wDoc.all.mainDiv;
this.print('Console Ready.');
}
}
function ConsoleWindow_print( text )
{
if( this.mainDiv )
{
try{
//this.wDoc.getElementById("main").innerHTML = this.wDoc.getElementById("main").innerHTML + theString + "
";
this.mainDiv.innerHTML = this.mainDiv.innerHTML + text + "
";
this.wObj.scrollBy( 0, 500 );
} catch( err ) {
//nothing.
}
}
}
function ConsoleWindow_command( text )
{
var theResult;
var theField = this.wObj.document.getElementById( "textField" );
if( theField.value == 'clear' )
{
this.mainDiv.innerHTML = "cleared.";
}
else
{
try {
theResult = eval( "window.parent." + theField.value );
this.print( theResult );
} catch( err ) {
this.print( "SYNTAX ERROR" );
}
}
theField.value = "";
theField.focus();
}
/* To figure out where things are */
function getElementPosition( offsetTrail, grump )
{
var offsetLeft = 0;
var offsetTop = 0;
while (offsetTrail && !(offsetTrail.id == "secNavBox" || offsetTrail.id == "priNavBox")) {
offsetLeft += offsetTrail.offsetLeft;
offsetTop += offsetTrail.offsetTop;
offsetTrail = offsetTrail.offsetParent;
}
return { left:offsetLeft, top:offsetTop };
}
/* needed for accurate menu-reversing when we would otherwise go off the edge of the window */
function getAbsoluteElementPosition( offsetTrail, grump )
{
var offsetLeft = 0;
var offsetTop = 0;
while (offsetTrail) {
offsetLeft += offsetTrail.offsetLeft;
offsetTop += offsetTrail.offsetTop;
offsetTrail = offsetTrail.offsetParent;
}
return { left:offsetLeft, top:offsetTop };
}
function positionMenu( menuID )
{
var theTitle = document.getElementById( menuID + "_title" );
var theMenu = document.getElementById( menuID + "_menu" );
var titlePos, absTitlePos;
if( !theMenu ) return;
if( theMenu.mode == "vertical" ) {
positionMenuAside( menuID );
return;
}
// Get menu positions, relative to both the nav and the whole document
if( isIE && (realVersion < 5.5) ) { // Don't know why this works...but it does!
titlePos = getElementPosition( theTitle.offsetParent );
} else {
titlePos = getElementPosition( theTitle );
}
if( isIE && (realVersion < 5.5) ) {
absTitlePos = getAbsoluteElementPosition( theTitle.offsetParent );
} else {
absTitlePos = getAbsoluteElementPosition( theTitle );
}
if( theMenu ) {
if( isOffRightEdge(absTitlePos.left + theMenu.offsetWidth) ) {
theMenu.style.left = titlePos.left + theTitle.offsetWidth - theMenu.offsetWidth + "px";
theMenu.reversePos = true;
} else {
theMenu.style.left = titlePos.left + "px";
theMenu.reversePos = false;
}
theMenu.style.top = titlePos.top + theTitle.offsetHeight + "px";
}
}
function positionMenuAside( menuID )
{
var theTitle = document.getElementById( menuID + "_title" );
var theMenu = document.getElementById( menuID + "_menu" );
var titlePos = getElementPosition( theTitle );
var absTitlePos = getAbsoluteElementPosition( theTitle );
var theLeft;
var theTop;
// Don't know why this works...but it does!
if( isIE && (realVersion < 5.5) ) {
titlePos = getElementPosition( theTitle.offsetParent );
if( isMac ){
titlePos.top = getElementPosition( theTitle ).top - 5;
}
} else {
titlePos = getElementPosition( theTitle );
if( isPC && isIE && (realVersion > 5) && (realVersion < 6) && (titlePos.top != 0)){
titlePos.top = titlePos.top - 2;
/* This is the supidest thing I've ever seen. */
}
}
var menuRightEdge = absTitlePos.left + theTitle.offsetWidth + theMenu.offsetWidth;
var menuBottomEdge = absTitlePos.top + theTitle.offsetHeight + theMenu.offsetHeight;
if( isOffRightEdge(menuRightEdge) ) {
theLeft = titlePos.left - theMenu.offsetWidth;
theTop = titlePos.top;
theMenu.reversePos = true;
theLeft -= menuOffsetX; // 'cause we're going backwards here...
theTop += menuOffsetY;
} else {
theLeft = titlePos.left + theTitle.offsetWidth;
theTop = titlePos.top;
theMenu.reversePos = false;
// standard offset adjustments
theLeft += menuOffsetX;
theTop += menuOffsetY;
}
// to keep items aligned with one another across menus
if( !noAutoMenuPadding )
{
theMenu.style.paddingTop = ((menuOffsetY<0) ? -menuOffsetY : menuOffsetY) + "px";
theMenu.style.paddingBottom = ((menuOffsetY<0) ? -menuOffsetY : menuOffsetY) + "px";
}
theTop -= parseInt( theMenu.style.borderTopWidth );
// move the menu up such that its bottom is not below the bottom edge of the window
if( isOffBottomEdge(menuBottomEdge) ) {
bottomEdge = getBottomEdge();
theTop -= (menuBottomEdge - bottomEdge);
//don't go above the top...
var parentNav = document.getElementById( theMenu.parentNav + "Menu" );
var navTop = getAbsoluteElementPosition( parentNav ).top;
if( (navTop + theTop) < 0 ) theTop = -navTop;
}
theMenu.style.left = theLeft + "px";
theMenu.style.top = theTop + "px";
}
function positionSubMenu( menuID )
{
var theTitle = document.getElementById( menuID + "_title" );
var theMenu = document.getElementById( menuID + "_menu" );
var titlePos = getElementPosition( theTitle );
var absTitlePos = getAbsoluteElementPosition( theTitle );
var theLeft, theTop;
var menuRightEdge = absTitlePos.left + theTitle.offsetWidth + theMenu.offsetWidth;
var menuBottomEdge = absTitlePos.top + theTitle.offsetHeight + theMenu.offsetHeight;
if( isOffRightEdge(menuRightEdge) || theMenu.mParent.mParent.reversePos ) {
theLeft = titlePos.left - theMenu.offsetWidth;
theTop = titlePos.top;
theMenu.reversePos = true;
// Customized for browser misbehavior
if( (isPC && isIE) || isGecko || isOpera ) {
//theLeft -= ( parseInt(theMenu.style.borderRightWidth) );
} else if ( isSafari || (isIE && isMac) ) {
theLeft -= ( parseInt(theMenu.style.borderLeftWidth) );
theTop -= parseInt( theMenu.style.borderTopWidth );
}
if( !noOffsetForSubMenus )
{
theLeft = theLeft - menuOffsetX; // 'cause we're going backwards here...
theTop = theTop + menuOffsetY;
}
// if we've doubled back, add an offset to improve clarity (but only once)
if( !(theMenu.mParent.mParent.reversePos) && !(isIE && isMac) )
theTop += Math.round(theTitle.clientHeight * doubleBackVerticalOffset);
//now, we flip that triangle...
flipTriangle( theMenu, "<" );
} else {
theLeft = titlePos.left + theTitle.offsetWidth;
theTop = titlePos.top;
theMenu.reversePos = false;
// Customized for browser misbehavior
if( (isPC && isIE) || isGecko || isOpera ) {
theLeft += ( parseInt(theMenu.style.borderRightWidth) + parseInt(theMenu.style.borderLeftWidth) );
} else if ( isSafari || (isIE && isMac) ) {
theLeft += parseInt( theMenu.style.borderRightWidth );
theTop -= parseInt( theMenu.style.borderTopWidth );
}
if( !noOffsetForSubMenus )
{
theLeft = theLeft + menuOffsetX;
theTop = theTop + menuOffsetY;
}
//and maybe flip it back...
flipTriangle( theMenu, ">" );
}
// to keep items aligned with one another across menus
if( !noAutoMenuPadding )
{
theMenu.style.paddingTop = ((menuOffsetY<0) ? -menuOffsetY : menuOffsetY) + "px";
theMenu.style.paddingBottom = ((menuOffsetY<0) ? -menuOffsetY : menuOffsetY) + "px";
}
// move the menu up such that its bottom is not below the bottom edge of the window
if( isOffBottomEdge(menuBottomEdge) ) {
bottomEdge = getBottomEdge();
theTop -= (menuBottomEdge - bottomEdge);
//don't go above the top...
var parentNav = document.getElementById( theMenu.parentNav + "Menu" );
var navTop = getAbsoluteElementPosition( parentNav ).top;
if( (navTop + theTop) < 0 ) theTop = -navTop;
}
theMenu.style.left = theLeft + "px";
theMenu.style.top = theTop + "px";
}
function flipTriangle( theMenu, theDirection )
{
var theItem = theMenu.mParent;
var theDivs = theItem.getElementsByTagName("div");
for( i=0; i" || theTri.childNodes[0].nodeValue == "<") ) {
theTri.removeChild( theTri.childNodes[0] );
theTri.appendChild( document.createTextNode(theDirection) );
}
}
}
}
function positionMenus( theMenu )
{
if( theMenu.items )
{
var i = 0;
for( i=0; i= 5.5 && realVersion < 7 )
{
shadowFixIE( TLImage );
shadowFixIE( BLImage );
shadowFixIE( BImage );
shadowFixIE( BRImage );
shadowFixIE( LImage );
BImage.style.width = parseInt(theDIV.style.width) - 61 + "px";
}
if( parseInt(theDIV.style.height) > 34 ) theDIV.appendChild( LImage ); //if the height of this menu is small enough, we don't need this
theDIV.appendChild( BImage );
theDIV.appendChild( TLImage );
theDIV.appendChild( BLImage );
theDIV.appendChild( BRImage );
theDIV.LImage = LImage;
theDIV.BImage = BImage;
genericShadowDIV = theDIV;
}
function cloneShadow( theMenu, theDIV )
{
var LImage, shadowHeight;
theDIV = genericShadowDIV.cloneNode( true );
theDIV.id = theMenu.id + "shadow";
theDIV.style.zIndex = theMenu.numParents * 2 - 1 + 5;
theDIV.style.height = (shadowHeight = theMenu.clientHeight + yStretch) + "px";
if( theDIV.childNodes[0].className == "LImage" )
theDIV.childNodes[0].style.height = (shadowHeight - 34) + "px"; // height is total height minus TL piece and BL piece
positionShadow( theMenu, theDIV );
return theDIV;
}
function showShadow( theMenu )
{
var theDIV = document.getElementById( theMenu.id + "shadow" );
if( !theDIV ) {
createShadow( theMenu );
theDIV = document.getElementById( theMenu.id + "shadow" );
}
theDIV.style.visibility = "visible";
return;
}
// horked from IEpng.js
function shadowFixIE( elementObj )
{
var obj = elementObj;
if( obj.tagName == "IMG" ) // this is an image
{
var src = obj.src;
obj.style.filter = "progid:DXImageTransform.Microsoft.AlphaImageLoader(src='" + src + "', sizingMethod='scale')"
obj.src = "http://www.dfl.org/repository/designs/images/speck.gif";
}
else //not an image, it's a background or something
{
var bg = obj.currentStyle.backgroundImage;
if (bg.match(/\.png/i) != null) {
var mypng = bg.substring(5,bg.length-2);
obj.style.filter = "progid:DXImageTransform.Microsoft.AlphaImageLoader(src='"+mypng+"', sizingMethod='scale')";
obj.style.backgroundImage = "url( " + imagePath + "/x.png )";
}
}
}
function killShadow( theMenu )
{
var hoohah;
if( hoohah = document.getElementById( theMenu.id + "shadow" ) ) hoohah.style.visibility = "hidden";
}
function getCSS ( selector, property )
{
var sheets = document.styleSheets[0];
var ruleList = (typeof sheets.cssRules != "undefined") ? sheets.cssRules : ((typeof sheets.rules != "undefined") ? sheets.rules : null);
if( ruleList ) {
for( var i = 0; i