diff options
| -rw-r--r-- | script/provider/diagnostic.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index bd8be8b1..8614ef78 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -302,7 +302,8 @@ files.watch(function (ev, uri) elseif ev == 'open' then m.doDiagnostic(uri) elseif ev == 'close' then - if files.isLibrary(uri) then + if files.isLibrary(uri) + or ws.isIgnored(uri) then m.clear(uri) end end |