mirrors/desktop
1
0
Fork 0
mirror of https://github.com/zen-browser/desktop.git synced 2025-10-05 09:26:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Refactor ZenWorkspaces initialization and enhance pinned tab management for improved performance and layout

Browse Source
This commit is contained in:
mr. M
2025-02-20 23:17:52 +01:00
parent fbe81666bf
commit 9f8dfddfa8
5 changed files with 57 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/browser/base/zen-components/ZenPinnedTabManager.mjs
View File

@@ -104,14 +104,14 @@
return;
}
let userContextId;
if (tab.hasAttribute("usercontextid")) {
userContextId = tab.getAttribute("usercontextid");
if (tab.hasAttribute('usercontextid')) {
userContextId = tab.getAttribute('usercontextid');
}
const pinnedUrl = Services.io.newURI(pin.url);
const browser = tab.linkedBrowser;
browser.loadURI(pinnedUrl, {
triggeringPrincipal: Services.scriptSecurityManager.createNullPrincipal({
userContextId
userContextId,
}),
});
}
@@ -397,7 +397,7 @@
pin.userContextId = userContextId ? parseInt(userContextId, 10) : 0;
await ZenPinnedTabsStorage.savePin(pin);
const currentWorkspace = await ZenWorkspaces.getActiveWorkspace();
this.resetPinChangedUrl(tab);
await this._refreshPinnedTabs();
}
@@ -434,7 +434,7 @@
tab.removeAttribute('zen-pinned-entry');
return;
}
const currentWorkspace = await ZenWorkspaces.getActiveWorkspace();
this.onLocationChange(browser);
await this._refreshPinnedTabs();
}
@@ -598,6 +598,7 @@
gBrowser.unpinTab(tab);
}
gBrowser.pinTab(tab);
this.resetPinChangedUrl(tab);
this.onTabIconChanged(tab);
this._onTabMove(tab);
}
@@ -742,7 +743,7 @@
async onLocationChange(browser) {
const tab = gBrowser.getTabForBrowser(browser);
if (!tab || !tab.pinned || tab.hasAttribute('zen-esential') || !this._pinsCache) {
if (!tab || !tab.pinned || tab.hasAttribute('zen-essential') || !this._pinsCache) {
return;
}
const pin = this._pinsCache.find((pin) => pin.uuid === tab.getAttribute('zen-pin-id'));
@@ -759,7 +760,7 @@
resetPinChangedUrl(tab) {
if (!tab.hasAttribute('zen-pinned-changed')) {
return
return;
}
tab.removeAttribute('zen-pinned-changed');
tab.style.removeProperty('--zen-original-tab-icon');