Add Linux-specific padding for toolbox and clean up drag indicator ca…

…lculations
zen-browser · Jan 31, 2025 · 4975ff6 · 4975ff6
1 parent d81745e
commit 4975ff6
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/src/browser/base/content/zen-styles/zen-tabs/vertical-tabs.css b/src/browser/base/content/zen-styles/zen-tabs/vertical-tabs.css
@@ -76,6 +76,9 @@
   @media (-moz-platform: macos) {
     --zen-min-toolbox-padding: .52rem;
   }
+  @media (-moz-platform: linux) {
+    --zen-min-toolbox-padding: .35rem;
+  }
   --zen-toolbox-padding: max(var(--zen-min-toolbox-padding), calc(var(--zen-element-separation) / 1.5));
 }
 

diff --git a/src/browser/base/zen-components/ZenPinnedTabManager.mjs b/src/browser/base/zen-components/ZenPinnedTabManager.mjs
@@ -767,13 +767,13 @@
         const separation = 8;
         const middleY = targetTab.screenY + rect.height / 2;
         const indicator = this.dragIndicator;
-        let top=0;
+        let top = 0;
         if (event.screenY > middleY) {
           top = rect.top + rect.height + 'px';
         } else {
           top = rect.top + 'px';
         }
-        indicator.style.setProperty('--indicator-left', rect.left + (separation/2) + 'px');
+        indicator.style.setProperty('--indicator-left', rect.left + separation / 2 + 'px');
         indicator.style.setProperty('--indicator-width', rect.width - separation + 'px');
         indicator.style.top = top;
       } else {