From 4e0f404eaa98ff372bcf52288207ca42d0b9d120 Mon Sep 17 00:00:00 2001 From: Maxim Baz Date: Fri, 6 Jul 2018 12:43:21 +0200 Subject: [PATCH] Fix highlighter in lint.kak --- rc/base/lint.kak | 4 ++-- 1 file 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 }