lint.kak: Update lint info when the linting data changed

Fixes #1836
This commit is contained in:
Maxime Coste 2018-02-11 22:02:53 +11:00
parent c939c30135
commit d95530b171

View File

@ -74,6 +74,7 @@ define-command -hidden lint-show %{
define-command lint-enable -docstring "Activate automatic diagnostics of the code" %{
add-highlighter window flag_lines default lint_flags
hook window -group lint-diagnostics NormalIdle .* %{ lint-show }
hook window -group lint-diagnostics WinSetOption lint_flags=.* %{ info; lint-show }
}
define-command lint-disable -docstring "Disable automatic diagnostics of the code" %{