diff options
| -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) |