rem: function onProgress() { var throbber = document.getElementById("Browser:Throbber"); var meter    = document.getElementById("Browser:LoadingProgress"); if ( throbber && meter ) { var busy = throbber.getAttribute("busy"); var wasBusy = meter.getAttribute("mode") == "undetermined" ? "true" : "false"; if ( busy == "true" ) { if ( wasBusy == "false" ) {  startTime = (new Date()).getTime();  meter.setAttribute("mode","undetermined"); }  } else if ( busy == "false" && wasBusy == "true" ) {  var status = document.getElementById("Browser:Status"); if ( status ) { var elapsed = ( (new Date()).getTime() - startTime ) / 1000; var msg = bundle.GetStringFromName("nv_done") + " (" + elapsed + " secs)"; dump( msg + "\n" ); status.setAttribute("value",msg); defaultStatus = msg; }  meter.setAttribute("mode","normal"); } } } 
add: function onProgress() { var throbber = document.getElementById("Browser:Throbber"); var meter    = document.getElementById("Browser:LoadingProgress"); if ( throbber && meter ) { var busy = throbber.getAttribute("busy"); var wasBusy = meter.getAttribute("mode") == "undetermined" ? "true" : "false"; if ( busy == "true" ) { if ( wasBusy == "false" ) {  startTime = (new Date()).getTime();  meter.setAttribute("mode","undetermined"); }  } else if ( busy == "false" && wasBusy == "true" ) {  var status = document.getElementById("Browser:Status"); if ( status ) { var elapsed = ( (new Date()).getTime() - startTime ) / 1000; var msg = bundle.GetStringFromName("nv_done") + " (" + elapsed + " secs)"; dump( msg + "\n" ); status.setAttribute("value",msg); defaultStatus = msg; }  meter.setAttribute("mode","normal"); } } } 
context: function onProgress() {  var throbber = document.getElementById("Browser:Throbber");  var meter    = document.getElementById("Browser:LoadingProgress");  if ( throbber && meter ) {    var busy = throbber.getAttribute("busy");    var wasBusy = meter.getAttribute("mode") == "undetermined" ? "true" : "false";    if ( busy == "true" ) {      if ( wasBusy == "false" ) {        // Remember when loading commenced.        startTime = (new Date()).getTime();        // Turn progress meter on.        meter.setAttribute("mode","undetermined");      }      // Update status bar.    }     else if ( busy == "false" && wasBusy == "true" ) {      // Record page loading time.      var status = document.getElementById("Browser:Status");      if ( status ) {        var elapsed = ( (new Date()).getTime() - startTime ) / 1000;        var msg = bundle.GetStringFromName("nv_done") + " (" + elapsed + " secs)";        dump( msg + "\n" );        status.setAttribute("value",msg);        defaultStatus = msg;      }      // Turn progress meter off.      meter.setAttribute("mode","normal");    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f5a8a1af2368f6bc7df2ed21b3704dabca8c6809/navigator.js/buggy/suite/browser/navigator.js