context: function SetPageProxyState(aState){  if (!gURLBar)    return;  if (!gProxyButton)    gProxyButton = document.getElementById("page-proxy-button");  if (!gProxyFavIcon)    gProxyFavIcon = document.getElementById("page-proxy-favicon");  if (!gProxyDeck)    gProxyDeck = document.getElementById("page-proxy-deck");  gProxyButton.setAttribute("pageproxystate", aState);  // the page proxy state is set to valid via OnLocationChange, which  // gets called when we switch tabs.  We'll let updatePageFavIcon  // take care of updating the mFavIconURL because it knows exactly  // for which tab to update things, instead of confusing the issue  // here.  if (aState == "valid") {    gLastValidURLStr = gURLBar.value;    gURLBar.addEventListener("input", UpdatePageProxyState, false);    if (gBrowser.mCurrentBrowser.mFavIconURL != null) {      if (gBrowser.isFavIconKnownMissing(gBrowser.mCurrentBrowser.mFavIconURL)) {        gBrowser.mFavIconURL = null;        PageProxyClearIcon();      } else {        PageProxySetIcon(gBrowser.mCurrentBrowser.mFavIconURL);      }    } else {      PageProxyClearIcon();    }  } else if (aState == "invalid") {    gURLBar.removeEventListener("input", UpdatePageProxyState, false);    PageProxyClearIcon();  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e9d79a9a242cbe8e214dfd370ac7316498c0badf/browser.js/buggy/browser/base/content/browser.js