From 70cf6b4041f979bf3a5e0056f3bd0337ff89acc4 Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Wed, 6 Jul 2022 16:33:44 -0700
Subject: [PATCH] Give nav buttons a background on hover

---
 crates/workspace/src/toolbar.rs   | 1 +
 styles/src/styleTree/workspace.ts | 6 ++++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/crates/workspace/src/toolbar.rs b/crates/workspace/src/toolbar.rs
index 7525c0413d7097d7b4e2e1f338835737ba2eab25..9e0c085b1f45dbfc85816b7dae3591d6f21909c6 100644
--- a/crates/workspace/src/toolbar.rs
+++ b/crates/workspace/src/toolbar.rs
@@ -173,6 +173,7 @@ fn nav_button<A: Action + Clone>(
             .constrained()
             .with_width(style.button_width)
             .with_height(style.button_width)
+            .aligned()
             .boxed()
     })
     .with_cursor_style(if enabled {
diff --git a/styles/src/styleTree/workspace.ts b/styles/src/styleTree/workspace.ts
index 0b71453e7148c71a4664c135c0b0f6926759d1db..e23e047eda29cc5240b420728297f5bf1100309d 100644
--- a/styles/src/styleTree/workspace.ts
+++ b/styles/src/styleTree/workspace.ts
@@ -142,13 +142,15 @@ export default function workspace(theme: Theme) {
       navButton: {
         color: iconColor(theme, "primary"),
         iconWidth: 8,
-        buttonWidth: 12,
+        buttonWidth: 18,
+        cornerRadius: 6,
         hover: {
           color: iconColor(theme, "active"),
+          background: backgroundColor(theme, 300),
         },
         disabled: {
           color: iconColor(theme, "muted")
-        }
+        },
       },
       padding: { left: 16, right: 8, top: 4, bottom: 4 },
     },