context: function handleURLBarRevert(){  var url = getWebNavigation().currentURI.spec;  var throbberElement = document.getElementById("navigator-throbber");  var isScrolling = gURLBar.popupOpen;    // don't revert to last valid url unless page is NOT loading  // and user is NOT key-scrolling through autocomplete list  if ((!throbberElement || !throbberElement.hasAttribute("busy")) && !isScrolling) {    if (url != "about:blank") {       gURLBar.value = url;      gURLBar.select();      SetPageProxyState("valid");    } else { //if about:blank, urlbar becomes ""      gURLBar.value = "";    }  }    gBrowser.userTypedValue = null;  // tell widget to revert to last typed text only if the user  // was scrolling when they hit escape  return !isScrolling; }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f9db07abc5a5b14b11dbc123fb543db6c61a19a1/browser.js/clean/browser/base/content/browser.js