mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-12 21:32:40 +00:00
remove border from thumb
This commit is contained in:
parent
11eb9b17c9
commit
5dfb0e3691
1 changed files with 4 additions and 0 deletions
|
@ -245,6 +245,10 @@ export default function editor(colorScheme: ColorScheme) {
|
||||||
border: {
|
border: {
|
||||||
width: 1,
|
width: 1,
|
||||||
color: borderColor(layer, "variant"),
|
color: borderColor(layer, "variant"),
|
||||||
|
top: false,
|
||||||
|
right: true,
|
||||||
|
left: true,
|
||||||
|
bottom: false,
|
||||||
},
|
},
|
||||||
},
|
},
|
||||||
git: {
|
git: {
|
||||||
|
|
Loading…
Reference in a new issue