add: handleURLBarRevert(); 
context: function BrowserLoadURL(aTriggeringEvent, aPostData){  var url = gURLBar.value;  if (url.match(/^view-source:/)) {    BrowserViewSourceOfURL(url.replace(/^view-source:/, ""), null, null);  } else {    if (gBrowser.localName == "tabbrowser" &&        aTriggeringEvent && 'altKey' in aTriggeringEvent &&        aTriggeringEvent.altKey) {      content.focus();      var t = gBrowser.addTab(url, null, null, aPostData); // open link in new tab      gBrowser.selectedTab = t;      gURLBar.value = url;      aTriggeringEvent.preventDefault();      aTriggeringEvent.preventBubble();      aTriggeringEvent.preventCapture();      aTriggeringEvent.stopPropagation();    }    else        loadURI(url, null, aPostData);    content.focus();  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/32c302213e6ebd886ff462d382632f24f6ce2960/browser.js/buggy/browser/base/content/browser.js