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: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/8919adc1bfc7a962fba85a37c3e9011c759ce5af/navigator.js/buggy/suite/browser/navigator.js