diff options
| author | Maxim Baz <git@maximbaz.com> | 2018-07-06 12:43:21 +0200 |
|---|---|---|
| committer | Maxim Baz <git@maximbaz.com> | 2018-07-06 12:43:21 +0200 |
| commit | 4e0f404eaa98ff372bcf52288207ca42d0b9d120 (patch) | |
| tree | 9e3d8f04a73d463977b8d5f5aed1d06cdf90df8f | |
| parent | fcec136f1e9f8d1a2a8ca61f28cf6a4e7d04e360 (diff) | |
Fix highlighter in lint.kak
| -rw-r--r-- | rc/base/lint.kak | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rc/base/lint.kak b/rc/base/lint.kak index 6ea84605..39c93b93 100644 --- a/rc/base/lint.kak +++ b/rc/base/lint.kak @@ -87,13 +87,13 @@ define-command -hidden lint-show-counters %{ } 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 WinSetOption lint_flags=.* %{ info; lint-show } } 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 } |