if (gURLBar.getAttribute("pageproxystate") != aState) { gURLBar.setAttribute("pageproxystate", aState); #ifdef MOZ_WIDGET_GTK2  if (gURLBar.focused) gURLBar.focus(); #endif } 
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.  if (aState == "valid") {    gLastValidURLStr = gURLBar.value;    gURLBar.addEventListener("input", UpdatePageProxyState, false);    PageProxySetIcon(gBrowser.mCurrentBrowser.mIconURL);  } else if (aState == "invalid") {    gURLBar.removeEventListener("input", UpdatePageProxyState, false);    PageProxyClearIcon();  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/86ef918d9094300005b7353672638545d1408f74/browser.js/clean/browser/base/content/browser.js