2016-03-02 20:49:58 +01:00
|
|
|
syntax "JSON" "\.json$"
|
2013-06-02 12:48:33 +02:00
|
|
|
header "^\{$"
|
2019-12-18 17:13:13 +01:00
|
|
|
# You can't add a comment to JSON.
|
|
|
|
comment ""
|
2013-06-02 12:48:33 +02:00
|
|
|
|
|
|
|
color blue "\<[-]?[1-9][0-9]*([Ee][+-]?[0-9]+)?\>" "\<[-]?[0](\.[0-9]+)?\>"
|
|
|
|
color cyan "\<null\>"
|
|
|
|
color brightcyan "\<(true|false)\>"
|
|
|
|
color yellow ""(\\.|[^"])*"|'(\\.|[^'])*'"
|
|
|
|
color brightyellow "\"(\\"|[^"])*\"[[:space:]]*:" "'(\'|[^'])*'[[:space:]]*:"
|
|
|
|
color magenta "\\u[0-9a-fA-F]{4}|\\[bfnrt'"/\\]"
|
|
|
|
color ,green "[[:space:]]+$"
|
2015-10-24 11:52:47 +02:00
|
|
|
color ,red " + +| + +"
|