rem: if ( stopDisabled ) { 
add: if ( stopDisabled == "true") { stopButton.setAttribute( "disabled", "true" ); } else { 
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 ) {                stopButton.setAttribute( "disabled", "" );            } else {                stopButton.removeAttribute( "disabled" );            }        }    }  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/a98f590b7f3ce64d4f0bf35efdea5fcae1d2da0d/navigator.js/clean/xpfe/browser/src/navigator.js