MirroredRepos/bat
1
0
Fork 0
mirror of https://github.com/sharkdp/bat.git synced 2025-09-01 19:02:22 +01:00
Code Issues Releases Wiki Activity

Merge branch 'master' into syslog

Browse Source
This commit is contained in:
David Peter
2021-05-12 11:34:35 +02:00
committed by GitHub
parent b3ab843954 b16cacc758
commit 5db3c93057
15 changed files with 232 additions and 56 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
assets/patches/Monokai-Extended.tmTheme.patch vendored
View File

@@ -7,7 +7,7 @@ index 9c2aa3e..180cbbf 100644
<string>JSON String</string>
<key>scope</key>
- <string>meta.structure.dictionary.json string.quoted.double.json</string>
+ <string>meta.mapping.key.json string.quoted.double.json</string>
+ <string>meta.mapping.key.json string.quoted.double.json, punctuation.separator.sequence.csv</string>
<key>settings</key>
<dict>
<key>foreground</key>