rem: var aVisible = false; try { aVisible = !gPrefService.getBoolPref(this.domain); } catch (e) { }  if (gBrowser.tabContainer.childNodes.length == 1) { 
add: if (gBrowser.tabContainer.childNodes.length == 1 && window.toolbar.visible) { var aVisible = false; try { aVisible = !gPrefService.getBoolPref(this.domain); } catch (e) { } 
context:   toggleAutoHideTabbar: function ()  {    var aVisible = false;    try {      aVisible = !gPrefService.getBoolPref(this.domain);    }    catch (e) {    }    if (gBrowser.tabContainer.childNodes.length == 1) {      gBrowser.setStripVisibilityTo(aVisible);      gPrefService.setBoolPref("browser.tabs.forceHide", false);    }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/bc1083033a3c24185c04f75555db62c81bea1ca8/browser.js/buggy/browser/base/content/browser.js