/* MenuDemo.js Build time: 13/04/2009-14:36:52 Copyright (c) 2008-2131 Patrick 'Zener' Brunet */ /* Requires MainLinker.js */ var _uDemoStep = 6; /* 3 times */ var _bNeedsForceRedraw; function InstallMenuDemoBehavior() { var roMenu = document.getElementById( 'Menu'); _bNeedsForceRedraw = NeedsForceRedraw(); if( roMenu != null && roMenu.className == "FirstView") setTimeout( 'AutoPlayMenu()', 200); } function NeedsForceRedraw() { var tAgent = navigator.userAgent.toLowerCase(); var bIsBuggyIE; /* A pleonasm... */ bIsBuggyIE = ((tAgent.indexOf( "msie 5") != -1 || tAgent.indexOf( "msie 6") != -1)); return( bIsBuggyIE); } function AutoPlayMenu() { var roMenu = document.getElementById( 'Menu'); var tSaveDisplay; if( roMenu == null) return; if( _uDemoStep % 2 == 1) roMenu.className = "DemoMenu"; else roMenu.className = "NormalMenu"; if( _bNeedsForceRedraw) { /* Actually IE needs a change on the itself to wake up :-@ */ setTimeout( 'document.body.className = document.body.className', 0); } if( _uDemoStep-- > 0) setTimeout( 'AutoPlayMenu()', 200); } MainLinkerRegister( InstallMenuDemoBehavior); /* End */