rem: function BrowserStop() {  var stopBElem = document.getElementById("canStop"); if (!stopBElem) return; var canStop = stopBElem.getAttribute("disabled"); 
add: function BrowserStop() {  var stopBElem = document.getElementById("canStop"); if (!stopBElem) { dump("Couldn't obtain handle to stop Broadcast element\n"); return; } 
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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/1e1ba37fe43340db5f075581a53c8d4d6987ce7f/navigator.js/clean/suite/browser/navigator.js