From 6c5d84bc896cb07deb2390c06160e97ace360cac Mon Sep 17 00:00:00 2001 From: Samuel FORESTIER Date: Wed, 24 Aug 2022 10:09:15 +0200 Subject: [PATCH] Leaves `mail.tabs.autoHide` to its default value (disabled) This preference is strictly _personal_ and should not be enforced in the template. > see #21 > closes #25 --- user.js | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/user.js b/user.js index 402b169..82f2a1f 100644 --- a/user.js +++ b/user.js @@ -1299,6 +1299,7 @@ user_pref("mailnews.start_page_override.mstone", "ignore"); // master switch // user_pref("clipboard.autocopy", false); // disable autocopy default [LINUX] /* UX BEHAVIOR ***/ // user_pref("general.autoScroll", false); // middle-click enabling auto-scrolling [DEFAULT: false on Linux] + // user_pref("mail.tabs.autoHide", true); // hides the tab bar if there is only one tab // user_pref("ui.key.menuAccessKey", 0); // disable alt key toggling the menu bar [RESTART] /* UX FEATURES ***/ // user_pref("reader.parse-on-load.enabled", false); // Reader View @@ -1343,9 +1344,6 @@ user_pref("mailnews.auto_config.addons_url",""); user_pref("mail.provider.enabled", false); /** UI (User Interface) ***/ -/* 9110: Hide tab bar - * false=Hides the tab bar if there is only one tab. (default) ***/ -user_pref("mail.tabs.autoHide", true); /* 9111: Show full email instead of just name from address book * true=Show just the display name for people in the address book (default) * false=Show both the email address and display name. ***/