diff --git a/application/palemoon/app/profile/palemoon.js b/application/palemoon/app/profile/palemoon.js index 48da270712..1baa2f3ac8 100644 --- a/application/palemoon/app/profile/palemoon.js +++ b/application/palemoon/app/profile/palemoon.js @@ -469,6 +469,7 @@ pref("browser.tabs.delayHidingAudioPlayingIconMS", 3000); pref("browser.allTabs.previews", true); pref("browser.ctrlTab.previews", true); +pref("browser.ctrlTab.hidePinnedTabs", false); pref("browser.ctrlTab.recentlyUsedLimit", 7); // By default, do not export HTML at shutdown. diff --git a/application/palemoon/base/content/browser-tabPreviews.js b/application/palemoon/base/content/browser-tabPreviews.js index e0755b81d4..7804b60836 100644 --- a/application/palemoon/base/content/browser-tabPreviews.js +++ b/application/palemoon/base/content/browser-tabPreviews.js @@ -216,6 +216,15 @@ var ctrlTab = { } } + let hidePinnedTabs = gPrefService.getBoolPref("browser.ctrlTab.hidePinnedTabs"); + if (hidePinnedTabs) { + regularTabsList = list.filter(function (tab) !tab.pinned); + // Don't hide pinned tabs if we only have 1 regular tab + if (regularTabsList.length > 1) { + list = regularTabsList; + } + } + return this._tabList = list; },