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", "" ); 
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", "" ); } }  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", "" );    }  }  //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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f5a8a1af2368f6bc7df2ed21b3704dabca8c6809/navigator.js/buggy/suite/browser/navigator.js