rem: if (gBrowser.localName == 'tabbrowser' && gBrowser.tabContainer.childNodes.length > 1) { 
add: if (gBrowser.localName == "tabbrowser" && (gBrowser.tabContainer.childNodes.length > 1 || !gPrefService.getBoolPref("browser.tabs.autoHide"))) { 
context: function BrowserCloseTabOrWindow(){#ifdef XP_MACOSX  // If we're not a browser window, just close the window  if (window.location.href != getBrowserURL()) {    closeWindow(true);    return;  }#endif  if (gBrowser.localName == 'tabbrowser' && gBrowser.tabContainer.childNodes.length > 1) {    // Just close up a tab.    gBrowser.removeCurrentTab();    return;  }  BrowserCloseWindow();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/69b0c4457d93493b6164406dde3b635950baaa4f/browser.js/buggy/browser/base/content/browser.js