Fix incorrect rendering of toolbar in right anchored dock
Make dock keybinding activate the dock if it wasn't hidden, and hide it if it was already active Make clicking the expanded dock wash, hide the dock Fix some issues with programmatically activating other panes, not hiding the dock Tweak dock anchor menu text Swap dock hide button for thin variant Fix dock sidebar interactions Add clicked state to search button and fix presenter issue sending clicked events when mouse not overlapping MouseRegion Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
This commit is contained in:
co-authored by
Mikayla Maki
parent
3c88aa3d18
commit
0b5952e1bd
@@ -46,6 +46,11 @@ export default function search(theme: Theme) {
|
||||
background: backgroundColor(theme, "on500", "active"),
|
||||
border: border(theme, "muted"),
|
||||
},
|
||||
clicked: {
|
||||
...text(theme, "mono", "active"),
|
||||
background: backgroundColor(theme, "on300", "active"),
|
||||
border: border(theme, "secondary"),
|
||||
},
|
||||
hover: {
|
||||
...text(theme, "mono", "active"),
|
||||
background: backgroundColor(theme, "on500", "hovered"),
|
||||
|
||||
@@ -160,8 +160,8 @@ export default function workspace(theme: Theme) {
|
||||
margin: { right: 10, bottom: 10 },
|
||||
},
|
||||
dock: {
|
||||
initialSizeRight: 240,
|
||||
initialSizeBottom: 360,
|
||||
initialSizeRight: 640,
|
||||
initialSizeBottom: 480,
|
||||
wash_color: withOpacity(theme.backgroundColor[500].base, 0.5),
|
||||
flex: 0.5,
|
||||
panel: {
|
||||
|
||||
Reference in New Issue
Block a user