Merge branch 'dev' into firefox-139

This commit is contained in:
mr. m 2025-05-22 20:01:27 +02:00 committed by GitHub
commit a87cbfd7a3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 1 additions and 2 deletions

View file

@ -2614,7 +2614,6 @@ var gZenWorkspaces = new (class extends ZenMultiWindowFeature {
} }
if (this.isPrivateWindow) { if (this.isPrivateWindow) {
name = 'Private ' + name; name = 'Private ' + name;
icon = '🥸';
} }
// get extra tabs remaning (e.g. on new profiles) and just move them to the new workspace // get extra tabs remaning (e.g. on new profiles) and just move them to the new workspace
const extraTabs = Array.from(gBrowser.tabContainer.arrowScrollbox.children).filter( const extraTabs = Array.from(gBrowser.tabContainer.arrowScrollbox.children).filter(

View file

@ -447,7 +447,7 @@
position: relative; position: relative;
max-height: var(--zen-workspace-indicator-height); max-height: var(--zen-workspace-indicator-height);
min-height: var(--zen-workspace-indicator-height); min-height: var(--zen-workspace-indicator-height);
gap: var(--tab-icon-end-margin); gap: 10px;
align-items: center; align-items: center;
flex-direction: row !important; flex-direction: row !important;
max-width: 100%; max-width: 100%;