Skip to content

Commit 5cd1f77

Browse files
committed
feat: Insert workspace names on the context menu for easier switch, b=no-bug, c=workspaces
1 parent a17a1da commit 5cd1f77

File tree

4 files changed

+23
-2
lines changed

4 files changed

+23
-2
lines changed

l10n

Submodule l10n updated 42 files

src/browser/base/content/zen-panels/popups.inc

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,7 @@
2323
hide-if-usercontext-disabled="true">
2424
<menupopup />
2525
</menu>
26+
<menuseparator id="context_zenWorkspacesSeparator"/>
2627
<menuseparator/>
2728
<menuitem id="context_zenReorderWorkspaces" data-l10n-id="zen-workspaces-panel-context-reorder" command="cmd_zenReorderWorkspaces"/>
2829
<menuseparator/>

src/zen/workspaces/ZenWorkspaces.mjs

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1180,6 +1180,26 @@ var gZenWorkspaces = new (class extends ZenMultiWindowFeature {
11801180
themePicker.hidden =
11811181
this.#contextMenuData.workspaceId &&
11821182
this.#contextMenuData.workspaceId !== this.activeWorkspace;
1183+
const separator = document.getElementById('context_zenWorkspacesSeparator');
1184+
for (const item of event.target.querySelectorAll('.zen-workspace-context-menu-item')) {
1185+
item.remove();
1186+
}
1187+
if (!this.#contextMenuData.workspaceId) {
1188+
separator.hidden = false;
1189+
for (const workspace of [...this._workspaceCache.workspaces].reverse()) {
1190+
const item = document.createXULElement('menuitem');
1191+
item.className = 'zen-workspace-context-menu-item';
1192+
item.setAttribute('zen-workspace-id', workspace.uuid);
1193+
item.setAttribute('disabled', workspace.uuid === this.activeWorkspace);
1194+
item.setAttribute('label', (workspace.icon ?? ' \u25CB ') + ' ' + workspace.name);
1195+
item.addEventListener('command', (e) => {
1196+
this.changeWorkspaceWithID(e.target.closest('menuitem').getAttribute('zen-workspace-id'));
1197+
});
1198+
separator.after(item);
1199+
}
1200+
} else {
1201+
separator.hidden = true;
1202+
}
11831203
event.target.addEventListener(
11841204
'popuphidden',
11851205
() => {

surfer.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
"brandShortName": "Zen",
2020
"brandFullName": "Zen Browser",
2121
"release": {
22-
"displayVersion": "1.13.1b",
22+
"displayVersion": "1.13.2b",
2323
"github": {
2424
"repo": "zen-browser/desktop"
2525
},

0 commit comments

Comments
 (0)