mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-03 17:44:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Fix padding inside search input.

Browse source 
Adjust borders for toggle buttons
This commit is contained in:
Piotr Osiewicz 2023-08-10 14:53:25 +02:00
parent da3a4174ce
commit 9ad308f2f0
1 changed files with 9 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
styles/src/style_tree/search.ts
View file

@ -20,9 +20,9 @@ export default function search(): any {
right: 12, right: 12,
}, },
padding: { padding: {
top: 3, top: 4,
bottom: 3, bottom: 4,
left: 10, left: 4,
right: 4, right: 4,
}, },
} }
@ -46,8 +46,8 @@ export default function search(): any {
...text(theme.highest, "mono", "on"), ...text(theme.highest, "mono", "on"),
background: background(theme.highest, "on"), background: background(theme.highest, "on"),
corner_radius: 2, corner_radius: 2,
border: border(theme.highest, "on"), margin: { right: 2 },
border: { width: 0, color: foreground(theme.highest, "variant") },
padding: { padding: {
bottom: 6, bottom: 6,
left: 6, left: 6,
@ -59,25 +59,26 @@ export default function search(): any {
hovered: { hovered: {
...text(theme.highest, "mono", "on", "hovered"), ...text(theme.highest, "mono", "on", "hovered"),
background: background(theme.highest, "on", "hovered"), background: background(theme.highest, "on", "hovered"),
border: border(theme.highest, "on", "hovered"),
}, },
clicked: { clicked: {
...text(theme.highest, "mono", "on", "pressed"), ...text(theme.highest, "mono", "on", "pressed"),
background: background(theme.highest, "on", "pressed"), background: background(theme.highest, "on", "pressed"),
border: border(theme.highest, "on", "pressed"),
}, },
}, },
}), }),
state: { state: {
active: { active: {
default: { default: {
...text(theme.highest, "mono", "accent"), background: background(theme.highest, "accent", "hovered"),
border: border(theme.highest, "on"),
}, },
hovered: { hovered: {
...text(theme.highest, "mono", "accent", "hovered"), ...text(theme.highest, "mono", "accent", "hovered"),
border: border(theme.highest, "on", "hovered"),
}, },
clicked: { clicked: {
...text(theme.highest, "mono", "accent", "pressed"), ...text(theme.highest, "mono", "accent", "pressed"),
border: border(theme.highest, "on", "pressed"),
}, },
}, },
}, },