From 1743bff855b74f29d83f681e9f3619ac06b61dfb 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/base/content/browser-tabPreviews.js | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/application/palemoon/base/content/browser-tabPreviews.js b/application/palemoon/base/content/browser-tabPreviews.js index 7804b60836..a998ea2df9 100644 --- a/application/palemoon/base/content/browser-tabPreviews.js +++ b/application/palemoon/base/content/browser-tabPreviews.js @@ -225,6 +225,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; },