mirrors/desktop
1
0
Fork 0
mirror of https://github.com/zen-browser/desktop.git synced 2026-04-30 19:24:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Hide deactivated workspaces are now an option

Browse Source
This commit is contained in:
mr. M
2024-10-15 10:57:09 +02:00
parent 097f7c846e
commit 6e7a2e4c9e
6 changed files with 49 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/browser/components/preferences/zen-settings.js
View File

@@ -1020,6 +1020,11 @@ Preferences.addAll([
type: 'bool',
default: false,
},
{
id: 'zen.workspaces.hide-deactivated-workspaces',
type: 'bool',
default: true,
},
{
id: 'zen.pinned-tab-manager.restore-pinned-tabs-to-pinned-url',
type: 'bool',

8
src/browser/components/preferences/zenTabsManagement.inc.xhtml
View File

@@ -31,8 +31,12 @@
data-l10n-id="zen-settings-workspaces-display-as-icon-strip"
preference="zen.workspaces.show-icon-strip"/>
<checkbox id="zenWorkspacesForceContainerTabsToWorkspace"
data-l10n-id="zen-settings-workspaces-force-container-tabs-to-workspace"
preference="zen.workspaces.force-container-workspace"/>
data-l10n-id="zen-settings-workspaces-force-container-tabs-to-workspace"
preference="zen.workspaces.force-container-workspace"/>
<checkbox id="zenWorkspaceHideDeactivatedWorkspaces"
data-l10n-id="zen-settings-workspaces-hide-deactivated-workspaces"
preference="zen.workspaces.hide-deactivated-workspaces"/>
</vbox>
</groupbox>