rem:  sb.setAttribute("disabled", "true");   var sm = document.getElementById("menuitem-stop"); if( sm ) sm.setAttribute("disabled", "true");   if (appCore != null) appCore.stop(); } 
add:  if (appCore != null) { dump("Going to Stop\n"); appCore.stop(); } else { dump("BrowserAppCore has not been created!\n"); } } 
context: function BrowserStop() {  // Get a handle to the "canStop" broadcast id  var stopBElem = document.getElementById("canStop");  if (!stopBElem)    return;  var canStop = stopBElem.getAttribute("disabled");  var sb = document.getElementById("stop-button");  if (!sb)    return;  // If the stop button is currently disabled, just return  if ( sb.getAttribute("disabled") == "true")    return;    //Stop button has just been pressed. Disable it.   sb.setAttribute("disabled", "true");  // Get a handle to the stop menu item.  var sm = document.getElementById("menuitem-stop");  if( sm )     sm.setAttribute("disabled", "true");  //Call in to BrowserAppcore to stop the current loading  if (appCore != null)    appCore.stop();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d018fa4b19f17d32d733b05d0c9a9718bc7657a3/navigator.js/clean/xpfe/browser/resources/content/navigator.js