rem: var stripVisibility = !pref.getBoolPref(prefName); if (gBrowser.tabContainer.childNodes.length == 1) { 
add: if (gBrowser.tabContainer.childNodes.length == 1 && window.toolbar.visible) { var stripVisibility = !pref.getBoolPref(prefName); 
context:   observe: function(subject, topic, prefName)  {    // verify that we're changing the tab browser strip auto hide pref    if (topic != "nsPref:changed")      return;    var stripVisibility = !pref.getBoolPref(prefName);    if (gBrowser.tabContainer.childNodes.length == 1) {      gBrowser.setStripVisibilityTo(stripVisibility);      pref.setBoolPref("browser.tabs.forceHide", false);    }  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/2843f87402230b372ac7fb9f3b943592f3278305/navigator.js/buggy/suite/browser/navigator.js