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