2014-07-05 14:32:37 +02:00
|
|
|
# http://json.org
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
# Detection
|
|
|
|
# ‾‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
hook global BufSetOption mimetype=text/x-json %{
|
|
|
|
set buffer filetype json
|
|
|
|
}
|
|
|
|
|
|
|
|
hook global BufCreate .*[.](json) %{
|
|
|
|
set buffer filetype json
|
|
|
|
}
|
|
|
|
|
|
|
|
# Highlighters
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
2014-07-14 22:42:19 +02:00
|
|
|
addhl -group / regions -default code json \
|
2014-07-05 14:32:37 +02:00
|
|
|
string '"' (?<!\\)(\\\\)*" ''
|
|
|
|
|
|
|
|
addhl -group /json/string fill string
|
|
|
|
|
2016-04-21 21:43:17 +02:00
|
|
|
addhl -group /json/code regex \b(true|false|null)\b 0:value
|
2014-07-05 14:32:37 +02:00
|
|
|
|
|
|
|
# Commands
|
|
|
|
# ‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
def -hidden _json_filter_around_selections %{
|
2015-11-04 10:48:47 +01:00
|
|
|
# remove trailing white spaces
|
|
|
|
try %{ exec -draft -itersel <a-x> s \h+$ <ret> d }
|
2014-07-05 14:32:37 +02:00
|
|
|
}
|
|
|
|
|
2015-11-10 14:36:16 +01:00
|
|
|
def -hidden _json_indent_on_char %<
|
|
|
|
eval -draft -itersel %<
|
2014-07-16 13:56:40 +02:00
|
|
|
# align closer token to its opener when alone on a line
|
2015-11-10 14:36:16 +01:00
|
|
|
try %< exec -draft <a-h> <a-k> ^\h+[]}]$ <ret> m s \`|.\' <ret> 1<a-&> >
|
|
|
|
>
|
|
|
|
>
|
2014-07-05 14:32:37 +02:00
|
|
|
|
2015-11-10 14:36:16 +01:00
|
|
|
def -hidden _json_indent_on_new_line %<
|
|
|
|
eval -draft -itersel %<
|
2014-07-05 14:32:37 +02:00
|
|
|
# preserve previous line indent
|
|
|
|
try %{ exec -draft <space> K <a-&> }
|
|
|
|
# filter previous line
|
|
|
|
try %{ exec -draft k : _json_filter_around_selections <ret> }
|
|
|
|
# indent after lines beginning with opener token
|
2015-11-10 14:36:16 +01:00
|
|
|
try %< exec -draft k x <a-k> ^\h*[[{] <ret> j <a-gt> >
|
|
|
|
>
|
|
|
|
>
|
2014-07-05 14:32:37 +02:00
|
|
|
|
|
|
|
# Initialization
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
2016-09-25 15:15:07 +02:00
|
|
|
hook -group json-highlight global WinSetOption filetype=json %{ addhl ref json }
|
2014-07-05 14:32:37 +02:00
|
|
|
|
2016-09-25 15:15:07 +02:00
|
|
|
hook global WinSetOption filetype=json %{
|
2014-07-05 14:32:37 +02:00
|
|
|
hook window InsertEnd .* -group json-hooks _json_filter_around_selections
|
|
|
|
hook window InsertChar .* -group json-indent _json_indent_on_char
|
|
|
|
hook window InsertChar \n -group json-indent _json_indent_on_new_line
|
|
|
|
}
|
|
|
|
|
2016-09-28 08:45:01 +02:00
|
|
|
hool -group json-highlight global WinSetOption filetype=(?!json).* %{ rmhl json }
|
|
|
|
|
2014-07-05 14:32:37 +02:00
|
|
|
hook global WinSetOption filetype=(?!json).* %{
|
|
|
|
rmhooks window json-indent
|
|
|
|
rmhooks window json-hooks
|
|
|
|
}
|