rem: if (gBrowser.mTabContainer.childNodes.length == 1) 
add: if (gBrowser.mTabContainer.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);  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4e77abe8c4f70ea91abb41093ec06aff732e6d2e/navigator.js/buggy/suite/browser/navigator.js