diff options
Diffstat (limited to 'script/provider/diagnostic.lua')
| -rw-r--r-- | script/provider/diagnostic.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index 29d01a6c..792412c0 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -373,6 +373,7 @@ end files.watch(function (ev, uri) if ev == 'remove' then m.clear(uri) + m.refresh(uri) elseif ev == 'update' then if ws.isReady() then m.refresh(uri) |