From d95530b1715d959a08e899796149f6d152f543cf Mon Sep 17 00:00:00 2001
From: Maxime Coste <mawww@kakoune.org>
Date: Sun, 11 Feb 2018 22:02:53 +1100
Subject: [PATCH] lint.kak: Update lint info when the linting data changed

Fixes #1836
---
 rc/base/lint.kak | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rc/base/lint.kak b/rc/base/lint.kak
index 5df5d870..41ad1144 100644
--- a/rc/base/lint.kak
+++ b/rc/base/lint.kak
@@ -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" %{