Update styling of nav buttons (width, corner_radius)

Co-authored-by: Kyle <kyle@zed.dev>
2023-08-03 20:35:10 +02:00
parent 31fb503418
commit 4658bc610c
1 changed files with 2 additions and 2 deletions
@@ -88,8 +88,8 @@ export default function tab_bar(): any {
        base: {
            color: foreground(theme.highest, "on"),
            icon_width: 12,
-            button_width: 24,
-            corner_radius: 6,
+
+            button_width: active_pane_active_tab.height,
        },
        state: {
            hovered: {