home/rc/base/json.kak

64 lines
1.9 KiB
Plaintext
Raw Normal View History

2014-07-05 14:32:37 +02:00
# http://json.org
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
# Detection
# ‾‾‾‾‾‾‾‾‾
hook global BufCreate .*[.](json) %{
set-option buffer filetype json
2014-07-05 14:32:37 +02:00
}
# Highlighters
# ‾‾‾‾‾‾‾‾‾‾‾‾
add-highlighter shared/ regions -default code json \
2014-07-05 14:32:37 +02:00
string '"' (?<!\\)(\\\\)*" ''
add-highlighter shared/json/string fill string
2014-07-05 14:32:37 +02:00
add-highlighter shared/json/code regex \b(true|false|null|\d+(?:\.\d+)?(?:[eE][+-]?\d*)?)\b 0:value
2014-07-05 14:32:37 +02:00
# Commands
# ‾‾‾‾‾‾‾‾
define-command -hidden json-filter-around-selections %{
# remove trailing white spaces
try %{ exec -draft -itersel <a-x> s \h+$ <ret> d }
2014-07-05 14:32:37 +02:00
}
define-command -hidden json-indent-on-char %<
eval -draft -itersel %<
# align closer token to its opener when alone on a line
try %< exec -draft <a-h> <a-k> ^\h+[]}]$ <ret> m s \A|.\z <ret> 1<a-&> >
>
>
2014-07-05 14:32:37 +02:00
define-command -hidden json-indent-on-new-line %<
eval -draft -itersel %<
2014-07-05 14:32:37 +02:00
# preserve previous line indent
try %{ exec -draft \; K <a-&> }
2014-07-05 14:32:37 +02:00
# filter previous line
try %{ exec -draft k : json-filter-around-selections <ret> }
2014-07-05 14:32:37 +02:00
# indent after lines beginning with opener token
try %< exec -draft k <a-x> <a-k> ^\h*[[{] <ret> j <a-gt> >
>
>
2014-07-05 14:32:37 +02:00
# Initialization
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾
hook -group json-highlight global WinSetOption filetype=json %{ add-highlighter window ref json }
2014-07-05 14:32:37 +02:00
hook global WinSetOption filetype=json %{
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
2014-07-05 14:32:37 +02:00
}
hook -group json-highlight global WinSetOption filetype=(?!json).* %{ remove-highlighter window/json }
2014-07-05 14:32:37 +02:00
hook global WinSetOption filetype=(?!json).* %{
2017-01-04 01:07:45 +01:00
remove-hooks window json-indent
remove-hooks window json-hooks
2014-07-05 14:32:37 +02:00
}