summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKeith Hall <kingkeith+github@gmail.com>2021-02-27 23:03:45 +0200
committerDavid Peter <sharkdp@users.noreply.github.com>2021-02-28 09:55:24 +0100
commit7768433d091c77efb6752b6407b25fb8e8a259b9 (patch)
tree4901507f8fe661bceecac7ece20dbee84a59a8f3
parentc569774e1a8528fab91225dabdadf53fde3916ea (diff)
Improve Monokai Extended JSON key color with a patch
-rw-r--r--assets/patches/Monokai-Extended.tmTheme.patch18
-rw-r--r--tests/syntax-tests/highlighted/JSON/test.json32
2 files changed, 34 insertions, 16 deletions
diff --git a/assets/patches/Monokai-Extended.tmTheme.patch b/assets/patches/Monokai-Extended.tmTheme.patch
new file mode 100644
index 00000000..24573a7b
--- /dev/null
+++ b/assets/patches/Monokai-Extended.tmTheme.patch
@@ -0,0 +1,18 @@
+diff --git themes/sublime-monokai-extended/Monokai\ Extended.tmTheme themes/sublime-monokai-extended/Monokai\ Extended.tmTheme
+index 9c2aa3e..180cbbf 100644
+--- themes/sublime-monokai-extended/Monokai Extended.tmTheme
++++ themes/sublime-monokai-extended/Monokai Extended.tmTheme
+@@ -810,11 +810,11 @@
+ <key>name</key>
+ <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>
+ <key>settings</key>
+ <dict>
+ <key>foreground</key>
+- <string>#cfcfc2</string>
++ <string>#fd971f</string>
+ </dict>
+ </dict>
+ <dict>
diff --git a/tests/syntax-tests/highlighted/JSON/test.json b/tests/syntax-tests/highlighted/JSON/test.json
index 76b859d0..180e1329 100644
--- a/tests/syntax-tests/highlighted/JSON/test.json
+++ b/tests/syntax-tests/highlighted/JSON/test.json
@@ -1,29 +1,29 @@
[
 {
- "name": "john",
- "age": 42,
- "isCustomer": false,
- "children": []
+ "name": "john",
+ "age": 42,
+ "isCustomer": false,
+ "children": []
 },
 {
- "name": "james",
- "age": 35,
- "isCustomer": true,
- "children": [
+ "name": "james",
+ "age": 35,
+ "isCustomer": true,
+ "children": [
 {
- "name": "linus",
- "age": 4
+ "name": "linus",
+ "age": 4
 },
 {
- "name": "sandra",
- "age": 2
+ "name": "sandra",
+ "age": 2
 }
 ]
 },
 {
- "name": "jessica",
- "age": null,
- "isCustomer": false,
- "children": []
+ "name": "jessica",
+ "age": null,
+ "isCustomer": false,
+ "children": []
 }
]