rem: if (gBrowser.mTabContainer.childNodes.length == 1) { 
add: if (gBrowser.tabContainer.childNodes.length == 1) { 
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);      pref.setBoolPref("browser.tabs.forceHide", false);    }  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/4f8a9cbb1247fdc49001ba0c52048359bda229f0/navigator.js/clean/xpfe/browser/resources/content/navigator.js