mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-03 17:44:30 +00:00
Give nav buttons a background on hover
This commit is contained in:
parent
4e8dbbfd4b
commit
70cf6b4041
2 changed files with 5 additions and 2 deletions
|
@ -173,6 +173,7 @@ fn nav_button<A: Action + Clone>(
|
||||||
.constrained()
|
.constrained()
|
||||||
.with_width(style.button_width)
|
.with_width(style.button_width)
|
||||||
.with_height(style.button_width)
|
.with_height(style.button_width)
|
||||||
|
.aligned()
|
||||||
.boxed()
|
.boxed()
|
||||||
})
|
})
|
||||||
.with_cursor_style(if enabled {
|
.with_cursor_style(if enabled {
|
||||||
|
|
|
@ -142,13 +142,15 @@ export default function workspace(theme: Theme) {
|
||||||
navButton: {
|
navButton: {
|
||||||
color: iconColor(theme, "primary"),
|
color: iconColor(theme, "primary"),
|
||||||
iconWidth: 8,
|
iconWidth: 8,
|
||||||
buttonWidth: 12,
|
buttonWidth: 18,
|
||||||
|
cornerRadius: 6,
|
||||||
hover: {
|
hover: {
|
||||||
color: iconColor(theme, "active"),
|
color: iconColor(theme, "active"),
|
||||||
|
background: backgroundColor(theme, 300),
|
||||||
},
|
},
|
||||||
disabled: {
|
disabled: {
|
||||||
color: iconColor(theme, "muted")
|
color: iconColor(theme, "muted")
|
||||||
}
|
},
|
||||||
},
|
},
|
||||||
padding: { left: 16, right: 8, top: 4, bottom: 4 },
|
padding: { left: 16, right: 8, top: 4, bottom: 4 },
|
||||||
},
|
},
|
||||||
|
|
Loading…
Reference in a new issue