Fix highlighter in lint.kak

This commit is contained in:
Maxim Baz 2018-07-06 12:43:21 +02:00
parent fcec136f1e
commit 4e0f404eaa
No known key found for this signature in database
GPG Key ID: 011FDC52DA839335

View File

@ -87,13 +87,13 @@ define-command -hidden lint-show-counters %{
} }
define-command lint-enable -docstring "Activate automatic diagnostics of the code" %{ define-command lint-enable -docstring "Activate automatic diagnostics of the code" %{
add-highlighter window flag_lines default lint_flags add-highlighter window/lint-highlighter flag_lines default lint_flags
hook window -group lint-diagnostics NormalIdle .* %{ lint-show } hook window -group lint-diagnostics NormalIdle .* %{ lint-show }
hook window -group lint-diagnostics WinSetOption lint_flags=.* %{ info; lint-show } hook window -group lint-diagnostics WinSetOption lint_flags=.* %{ info; lint-show }
} }
define-command lint-disable -docstring "Disable automatic diagnostics of the code" %{ define-command lint-disable -docstring "Disable automatic diagnostics of the code" %{
remove-highlighter window/hlflags_lint_flags remove-highlighter window/lint-highlighter
remove-hooks window lint-diagnostics remove-hooks window lint-diagnostics
} }