add:  var stopMenu   = document.getElementById( "menuitem-stop" ); if ( stopMenu ) { if ( stopDisabled == "true") { stopMenu.setAttribute( "disabled", "true" ); } else { stopMenu.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", "" );            }        }    }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/768dfbec69957e7d1006ca0bcef4c3309003e7d3/navigator.js/clean/xpfe/browser/src/navigator.js