mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-28 05:21:56 +03:00
Update style tree based on changes to _base.toml from main
Co-Authored-By: Nate Butler <1714999+iamnbutler@users.noreply.github.com>
This commit is contained in:
parent
d2a070c345
commit
371ea7c552
@ -20,7 +20,6 @@ export default function search(theme: Theme) {
|
||||
};
|
||||
|
||||
return {
|
||||
background: backgroundColor(theme, 300),
|
||||
matchBackground: theme.editor.highlight.match,
|
||||
tabIconSpacing: 4,
|
||||
tabIconWidth: 14,
|
||||
@ -35,22 +34,20 @@ export default function search(theme: Theme) {
|
||||
editor: {
|
||||
background: backgroundColor(theme, 500),
|
||||
cornerRadius: 6,
|
||||
maxWidth: 400,
|
||||
minWidth: 200,
|
||||
maxWidth: 500,
|
||||
placeholderText: text(theme, "mono", "placeholder"),
|
||||
selection: player(theme, 1).selection,
|
||||
text: text(theme, "mono", "primary"),
|
||||
border: border(theme, "primary"),
|
||||
margin: {
|
||||
bottom: 5,
|
||||
left: 5,
|
||||
right: 5,
|
||||
top: 5,
|
||||
},
|
||||
padding: {
|
||||
bottom: 3,
|
||||
left: 13,
|
||||
right: 13,
|
||||
top: 3,
|
||||
bottom: 3,
|
||||
left: 14,
|
||||
right: 14,
|
||||
},
|
||||
},
|
||||
hoveredOptionButton: {
|
||||
@ -62,7 +59,7 @@ export default function search(theme: Theme) {
|
||||
border: border(theme, "error"),
|
||||
},
|
||||
matchIndex: {
|
||||
...text(theme, "mono", "secondary"),
|
||||
...text(theme, "mono", "muted"),
|
||||
padding: 6,
|
||||
},
|
||||
optionButton,
|
||||
|
@ -127,7 +127,15 @@ export default function workspace(theme: Theme) {
|
||||
},
|
||||
},
|
||||
toolbar: {
|
||||
height: 44,
|
||||
height: 34,
|
||||
background: backgroundColor(theme, 300),
|
||||
border: border(theme, "primary", { bottom: true }),
|
||||
itemSpacing: 8,
|
||||
padding: { left: 16, right: 8, top: 4, bottom: 4 },
|
||||
},
|
||||
breadcrumbs: {
|
||||
...text(theme, "mono", "secondary"),
|
||||
padding: { left: 6 },
|
||||
},
|
||||
};
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user