rem: } else { stopButton.removeAttribute( "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 ) {                stopButton.setAttribute( "disabled", "" );            } else {                stopButton.removeAttribute( "disabled" );            }        }    }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/0189cd39a2d531047e8c858c02952c1ea591eff9/navigator.js/clean/xpfe/browser/src/navigator.js