mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-12 05:15:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Tweak scrollbar styling

Browse source
This commit is contained in:
Max Brunsfeld 2022-10-10 17:54:40 -07:00
parent 7b084199be
commit b229bc69b9
2 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
styles/src/styleTree/editor.ts
View file

@ -172,7 +172,7 @@ export default function editor(theme: Theme) {
}, },
}, },
scrollbar: { scrollbar: {
width: 12, width: 14,
track: { track: {
border: { border: {
left: true, left: true,
@ -181,7 +181,11 @@ export default function editor(theme: Theme) {
}, },
}, },
thumb: { thumb: {
background: borderColor(theme, "secondary"), background: withOpacity(borderColor(theme, "secondary"), 0.5),
border: {
width: 1,
color: withOpacity(borderColor(theme, 'muted'), 0.5),
}
} }
}, },
compositionMark: { compositionMark: {

2
styles/src/themes/common/base16.ts
View file

@ -123,7 +123,7 @@ export function createTheme(
const borderColor = { const borderColor = {
primary: sample(ramps.neutral, isLight ? 1.5 : 0), primary: sample(ramps.neutral, isLight ? 1.5 : 0),
secondary: sample(ramps.neutral, isLight ? 1.25 : 1), secondary: sample(ramps.neutral, isLight ? 1.25 : 1),
muted: sample(ramps.neutral, isLight ? 1 : 3), muted: sample(ramps.neutral, isLight ? 1.25 : 3),
active: sample(ramps.neutral, isLight ? 4 : 3), active: sample(ramps.neutral, isLight ? 4 : 3),
onMedia: withOpacity(darkest, 0.1), onMedia: withOpacity(darkest, 0.1),
ok: sample(ramps.green, 0.3), ok: sample(ramps.green, 0.3),