[Pale-Moon] Issue #1722 - Part 1: Allow hiding pinned tabs for the Ctrl-Tab graphical pane

This commit is contained in:
FranklinDM 2020-02-02 17:01:42 +08:00 committed by Roy Tam
commit 1743bff855

View file

@ -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;
},