fix: Fixed missing space between update and media player, b=closes #11592, c=scripts, common, tabs, workspaces

This commit is contained in:
mr. m
2025-12-12 19:54:15 +01:00
parent 6a218d109a
commit f1c6c1b321
6 changed files with 34 additions and 26 deletions

View File

@@ -3140,7 +3140,7 @@ class nsZenWorkspaces extends nsZenMultiWindowFeature {
return;
}
const maxButtonSize = 32; // IMPORTANT: This should match the CSS size of the icons
const minButtonSize = 15;
const minButtonSize = maxButtonSize / 2; // Minimum size for icons when space is limited
const separation = 3; // Space between icons
// Calculate the total width needed for all icons
@@ -3160,9 +3160,7 @@ class nsZenWorkspaces extends nsZenMultiWindowFeature {
// Set the width of each icon to the maximum size they can fit on
const widthPerButton = Math.max(
Math.floor(
(parent.clientWidth - separation * (parent.children.length - 1)) / parent.children.length
),
(parent.clientWidth - separation * (parent.children.length - 1)) / parent.children.length,
minButtonSize
);
for (const icon of parent.children) {