From 4150039d5f22bbfcfb738343a174db2286ec904b Mon Sep 17 00:00:00 2001 From: Ehsan Akhgari Date: Mon, 28 Mar 2011 16:35:05 -0400 Subject: [PATCH] Back out changeset 7395f456cf4b (bug 594614) because it wasn't quite ready --- browser/components/preferences/tabs.js | 3 +++ browser/components/preferences/tabs.xul | 4 ++++ browser/locales/en-US/chrome/browser/preferences/tabs.dtd | 3 +++ 3 files changed, 10 insertions(+) diff --git a/browser/components/preferences/tabs.js b/browser/components/preferences/tabs.js index dfc8e644dda..41b59ee4172 100644 --- a/browser/components/preferences/tabs.js +++ b/browser/components/preferences/tabs.js @@ -48,6 +48,9 @@ var gTabsPane = { * 1 opens such links in the most recent window or tab, * 2 opens such links in a new window, * 3 opens such links in a new tab + * browser.tabs.autoHide + * - true if the tab bar is hidden when only one tab is open, false to always + * show it * browser.tabs.loadInBackground * - true if display should switch to a new tab which has been opened from a * link, false if display shouldn't switch diff --git a/browser/components/preferences/tabs.xul b/browser/components/preferences/tabs.xul index 3a0544cc655..6f57200b588 100644 --- a/browser/components/preferences/tabs.xul +++ b/browser/components/preferences/tabs.xul @@ -57,6 +57,7 @@ + @@ -81,6 +82,9 @@ + diff --git a/browser/locales/en-US/chrome/browser/preferences/tabs.dtd b/browser/locales/en-US/chrome/browser/preferences/tabs.dtd index 895d87eab81..1a9661610a9 100644 --- a/browser/locales/en-US/chrome/browser/preferences/tabs.dtd +++ b/browser/locales/en-US/chrome/browser/preferences/tabs.dtd @@ -7,6 +7,9 @@ + + +