DOCK WORKING!
Update editor element to use mouse regions instead of dispatch event for mouse events Fix bug in presenter where mouse region handlers were stored on click and called instead of more up to date handlers from subsequent renders Changed MouseRegion to require discriminants in all cases Add scroll wheel event to MouseRegion Polished a bunch of dock inconsistencies Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
This commit is contained in:
co-authored by
Mikayla Maki
parent
59fd967793
commit
69ecbb644d
@@ -156,9 +156,17 @@ export default function workspace(theme: Theme) {
|
||||
width: 400,
|
||||
margin: { right: 10, bottom: 10 },
|
||||
},
|
||||
fullscreenDock: {
|
||||
background: withOpacity(theme.backgroundColor[500].base, 0.8),
|
||||
padding: 25,
|
||||
dock: {
|
||||
wash_color: withOpacity(theme.backgroundColor[500].base, 0.5),
|
||||
flex: 0.5,
|
||||
panel: {
|
||||
margin: 4,
|
||||
},
|
||||
maximized: {
|
||||
margin: 32,
|
||||
border: border(theme, "secondary"),
|
||||
shadow: modalShadow(theme),
|
||||
}
|
||||
}
|
||||
};
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user