mirror of
https://repo.dactyloidae.xyz/Dactyloidae/UXP.git
synced 2026-09-04 14:58:37 +09:00
[Pale-Moon] Issue #1722 - Part 1: Allow hiding pinned tabs for the Ctrl-Tab graphical pane
This commit is contained in:
parent
955962504a
commit
2f02432034
2 changed files with 10 additions and 0 deletions
|
|
@ -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.
|
||||
|
|
|
|||
|
|
@ -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;
|
||||
},
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue