ZenBrowserMirrors/components
1
0
Fork 0
mirror of https://github.com/zen-browser/components.git synced 2025-07-07 21:19:57 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Allow pinned tabs to be workspace specific

Browse source
This commit is contained in:
mauro-balades 2024-09-13 22:52:03 +02:00
parent 4cedd84ac8
commit 5a9fb8d7be
1 changed files with 11 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/ZenWorkspaces.mjs
View file

@ -1,3 +1,4 @@
var ZenWorkspaces = {
async init() {
let docElement = document.documentElement;
@ -95,7 +96,7 @@ var ZenWorkspaces = {
if (tabs.length === 1) {
this._createNewTabForWorkspace({ uuid: workspaceID });
// We still need to close other tabs in the workspace
this.changeWorkspace({ uuid: workspaceID });
this.changeWorkspace({ uuid: workspaceID }, true);
}
}
},
@ -469,10 +470,15 @@ var ZenWorkspaces = {
button.removeAttribute('disabled');
},
get _shouldAllowPinTab() {
return Services.prefs.getBoolPref('zen.workspaces.individual-pinned-tabs');
},
async changeWorkspace(window, onInit = false) {
if (!this.workspaceEnabled) {
return;
}
const shouldAllowPinnedTabs = this._shouldAllowPinTab;
let firstTab = undefined;
let workspaces = await this._workspaces();
for (let workspace of workspaces.workspaces) {
@ -481,7 +487,7 @@ var ZenWorkspaces = {
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) || !tab.hasAttribute('zen-workspace-id')) {
if ((tab.getAttribute('zen-workspace-id') === window.uuid && !(tab.pinned && !shouldAllowPinnedTabs)) || !tab.hasAttribute('zen-workspace-id')) {
if (!firstTab) {
firstTab = tab;
} else if (gBrowser.selectedTab === tab) {
@ -504,7 +510,7 @@ var ZenWorkspaces = {
}
for (let tab of gBrowser.tabs) {
if (tab.getAttribute('zen-workspace-id') !== window.uuid) {
gBrowser.hideTab(tab);
gBrowser.hideTab(tab, undefined, shouldAllowPinnedTabs);
}
}
document.documentElement.setAttribute('zen-workspace-id', window.uuid);
@ -512,6 +518,8 @@ var ZenWorkspaces = {
await this._updateWorkspacesButton();
await this._propagateWorkspaceData();
await this._updateWorkspacesChangeContextMenu();
document.getElementById('tabbrowser-tabs')._positionPinnedTabs();
},
async _updateWorkspacesChangeContextMenu() {