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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/8b009336a6f0f702f423966214db2b719ae94de9/navigator.js/buggy/suite/browser/navigator.js