if (gURLBar.getAttribute("pageproxystate") != aState) { gURLBar.setAttribute("pageproxystate", aState); #ifdef MOZ_WIDGET_GTK2  if (gURLBar.focused) gURLBar.focus(); #endif } 
gURLBar.setAttribute("pageproxystate", aState); 
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");  if (gURLBar.getAttribute("pageproxystate") != aState) {    gURLBar.setAttribute("pageproxystate", aState);#ifdef MOZ_WIDGET_GTK2    // redraw gtk focus ring    if (gURLBar.focused)      gURLBar.focus();#endif  }  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();  }}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/4c80de061d14b695408165c6ae8123ecddbad9b1/browser.js/buggy/browser/base/content/browser.js