add:   getBrowser().userTypedClear = false;  
context:   endDocumentLoad : function(aRequest, aStatus)  {    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) {    }  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/41787f3aad53fc47d4e991aa9ce79c09385eb064/browser.js/buggy/browser/base/content/browser.js