add: pref.setBoolPref("browser.tabs.forceHide", false); } 
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.mTabContainer.childNodes.length == 1)      gBrowser.setStripVisibilityTo(stripVisibility);  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/5abd4b6906f70fa5b65e31894ee2f50032b6b1a6/navigator.js/clean/xpfe/browser/resources/content/navigator.js