rem: setTimeout(function() { if (document.getElementById("highlight").checked) toggleHighlight(true); }, 0); 
context:   endDocumentLoad : function(aRequest, aStatus)  {    // The document is done loading, we no longer want the    // value cleared.    if (getBrowser().userTypedClear > 0)      getBrowser().userTypedClear--;    const nsIChannel = Components.interfaces.nsIChannel;    var urlStr = aRequest.QueryInterface(nsIChannel).originalURI.spec;    var observerService = Components.classes["@mozilla.org/observer-service;1"]                                    .getService(Components.interfaces.nsIObserverService);    var notification = Components.isSuccessCode(aStatus) ? "EndDocumentLoad" : "FailDocumentLoad";    try {      observerService.notifyObservers(content, notification, urlStr);    } catch (e) {    }    setTimeout(function() { if (document.getElementById("highlight").checked) toggleHighlight(true); }, 0);  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/015f043c53b44e164672d2905f551b166c6f845e/browser.js/clean/browser/base/content/browser.js