rem: if ( document.getElementById("Throbber").getAttribute("busy") == "true" ) { 
add: if ( document.getElementById("navigator-throbber").getAttribute("busy") == "true" ) { 
context:   function onLoadViaOpenDialog() {    // See if load in progress (loading default page).    if ( document.getElementById("Throbber").getAttribute("busy") == "true" ) {        dump( "Stopping load of default initial page\n" );        appCore.stop();    }    dump( "Loading page specified via openDialog\n" );    appCore.loadUrl( window.arguments[0] );  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/c55bdc755321452a654fc048697a66d8b52c9873/navigator.js/clean/xpfe/browser/resources/content/navigator.js