2016-03-02 20:49:58 +01:00
|
|
|
syntax "JSON" "\.json$"
|
2013-06-02 12:48:33 +02:00
|
|
|
header "^\{$"
|
|
|
|
|
|
|
|
color blue "\<[-]?[1-9][0-9]*([Ee][+-]?[0-9]+)?\>" "\<[-]?[0](\.[0-9]+)?\>"
|
|
|
|
color cyan "\<null\>"
|
2018-08-09 10:09:19 +02:00
|
|
|
color cyan "\<(true|false)\>"
|
2013-06-02 12:48:33 +02:00
|
|
|
color yellow ""(\\.|[^"])*"|'(\\.|[^'])*'"
|
2018-08-09 10:09:19 +02:00
|
|
|
color yellow "\"(\\"|[^"])*\"[[:space:]]*:" "'(\'|[^'])*'[[:space:]]*:"
|
2013-06-02 12:48:33 +02:00
|
|
|
color magenta "\\u[0-9a-fA-F]{4}|\\[bfnrt'"/\\]"
|
|
|
|
color ,green "[[:space:]]+$"
|
2015-10-24 11:52:47 +02:00
|
|
|
color ,red " + +| + +"
|