Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #2304 from zed-industries/bump-diff-width

Browse source 
Increase git diff gutter width slightly
This commit is contained in:
Julia 2023-04-06 10:58:55 -04:00 • committed by GitHub
commit 4b39df4a6b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -103,8 +103,8 @@ export default function editor(colorScheme: ColorScheme) {
modified: foreground(layer, "warning"), modified: foreground(layer, "warning"),
inserted: foreground(layer, "positive"), inserted: foreground(layer, "positive"),
removedWidthEm: 0.275, removedWidthEm: 0.275,
widthEm: 0.16, widthEm: 0.22,
cornerRadius: 0.05, cornerRadius: 0.2,
}, },
/** Highlights matching occurences of what is under the cursor /** Highlights matching occurences of what is under the cursor
* as well as matched brackets * as well as matched brackets