Rename 'ini-file' filetype to just 'ini'
This commit is contained in:
parent
5388a538ef
commit
3349bcd277
|
@ -1,5 +1,5 @@
|
||||||
hook global BufCreate .*\.(repo|service|target|socket|ini|cfg) %{
|
hook global BufCreate .*\.(repo|service|target|socket|ini|cfg) %{
|
||||||
set buffer filetype ini-file
|
set buffer filetype ini
|
||||||
}
|
}
|
||||||
|
|
||||||
addhl -group / regions -default code ini-highlighter \
|
addhl -group / regions -default code ini-highlighter \
|
||||||
|
@ -10,10 +10,10 @@ addhl -group /ini-highlighter/code regex "^\h*([^\[][^=\n]*=)([^\n]*)" 1:identif
|
||||||
|
|
||||||
addhl -group /ini-highlighter/comment fill comment
|
addhl -group /ini-highlighter/comment fill comment
|
||||||
|
|
||||||
hook global WinSetOption filetype=ini-file %{
|
hook global WinSetOption filetype=ini %{
|
||||||
addhl ref ini-highlighter
|
addhl ref ini-highlighter
|
||||||
}
|
}
|
||||||
|
|
||||||
hook global WinSetOption filetype=(?!ini-file).* %{
|
hook global WinSetOption filetype=(?!ini).* %{
|
||||||
rmhl ini-highlighter
|
rmhl ini-highlighter
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user