rem: function BrowserCanStop() { var stop = document.getElementById("canStop"); if ( stop ) { var stopDisabled = stop.getAttribute("disabled"); var stopButton   = document.getElementById( "stop-button" ); if ( stopButton ) { if ( stopDisabled == "true") { stopButton.setAttribute( "disabled", "true" ); } else { stopButton.setAttribute( "disabled", "" ); } }  var stopMenu   = document.getElementById( "menuitem-stop" ); if ( stopMenu ) { if ( stopDisabled == "true") { stopMenu.setAttribute( "disabled", "true" ); } else { stopMenu.setAttribute( "disabled", "" ); } } 
add: function BrowserCanStop() { var stop = document.getElementById("canStop"); if ( stop ) { var stopDisabled = stop.getAttribute("disabled"); var stopButton   = document.getElementById( "stop-button" ); if ( stopButton ) { if ( stopDisabled == "true") stopButton.setAttribute( "disabled", "true" ); else stopButton.setAttribute( "disabled", "" ); 
context:   function BrowserCanStop() {    var stop = document.getElementById("canStop");    if ( stop ) {        var stopDisabled = stop.getAttribute("disabled");        var stopButton   = document.getElementById( "stop-button" );        if ( stopButton ) {            if ( stopDisabled == "true") {                stopButton.setAttribute( "disabled", "true" );            } else {                stopButton.setAttribute( "disabled", "" );            }        }        //Enable/disable the stop menu item        var stopMenu   = document.getElementById( "menuitem-stop" );        if ( stopMenu ) {            if ( stopDisabled == "true") {                stopMenu.setAttribute( "disabled", "true" );            } else {                stopMenu.setAttribute( "disabled", "" );            }        }    }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d46106418588bec5ed4354933e11d332b81439bb/navigator.js/buggy/suite/browser/navigator.js