From 2f024320346e1ff6411d1d75e3751feb223cda37 Mon Sep 17 00:00:00 2001 From: FranklinDM Date: Sun, 2 Feb 2020 17:01:42 +0800 Subject: [PATCH] [Pale-Moon] Issue #1722 - Part 1: Allow hiding pinned tabs for the Ctrl-Tab graphical pane --- application/palemoon/app/profile/palemoon.js | 1 + application/palemoon/base/content/browser-tabPreviews.js | 9 +++++++++ 2 files changed, 10 insertions(+) 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; },