@@ -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 },
},
};
}