rem: {  var bb = document.getElementById("canGoBack");  if ( bb.getAttribute("disabled") == "true" ) return; if (appCore != null) appCore.back(); } 
add: {  var bb = document.getElementById("canGoBack");  if ( (bb.getAttribute("disabled")) == "true" ) return;  if (appCore != null) { dump("Going Back\n"); appCore.back(); } else { dump("BrowserAppCore has not been created!\n"); } } 
context: function BrowserBack(){  // Get a handle to the back-button  var bb = document.getElementById("canGoBack");  // If the button is disabled, don't bother calling in to Appcore  if ( bb.getAttribute("disabled") == "true" )     return;  if (appCore != null)    appCore.back();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/1e1ba37fe43340db5f075581a53c8d4d6987ce7f/navigator.js/clean/suite/browser/navigator.js