mirror of
https://github.com/zen-browser/components.git
synced 2025-07-09 01:25:29 +02:00
Merge branch 'main' of https://github.com/zen-browser/components
This commit is contained in:
commit
5f61c3b5af
2 changed files with 42 additions and 16 deletions
|
@ -495,7 +495,7 @@ var ZenWorkspaces = {
|
|||
for (let workspace of workspaces.workspaces) {
|
||||
workspace.used = workspace.uuid === window.uuid;
|
||||
}
|
||||
this.unsafeSaveWorkspaces(workspaces);
|
||||
await this.unsafeSaveWorkspaces(workspaces);
|
||||
console.info('ZenWorkspaces: Changing workspace to', window.uuid);
|
||||
for (let tab of gBrowser.tabs) {
|
||||
if ((tab.getAttribute('zen-workspace-id') === window.uuid && !(tab.pinned && !shouldAllowPinnedTabs)) || !tab.hasAttribute('zen-workspace-id')) {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue