diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-02-09 19:13:41 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-02-09 19:13:41 +0800 |
| commit | 2a439122a6d6d841fb99f08a1276c4400e5360fa (patch) | |
| tree | 8ff56fe82b2de89c58283af943378a51d1e7761f /script | |
| parent | 83e241951eb641288c6d35aadb63580a741f3099 (diff) | |
| download | lua-language-server-2a439122a6d6d841fb99f08a1276c4400e5360fa.zip | |
update diagnostic
typing immediately stops workspace diagnostics
Diffstat (limited to 'script')
| -rw-r--r-- | script/provider/diagnostic.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index 32b6fc6f..9f188501 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -292,7 +292,10 @@ function m.refresh(uri) if not ws.isReady(uri) then return end + local scp = scope.getScope(uri) + local scopeID = 'diagnosticsScope:' .. scp:getName() await.close('diag:' .. uri) + await.close(scopeID) await.call(function () ---@async if uri then await.setID('diag:' .. uri) |