diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-08-19 16:16:22 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-08-19 16:16:32 +0800 |
| commit | b487d37819a5942d6807d2e9c338dd45557a6739 (patch) | |
| tree | e90bdb7ed8b7cf899fa40e28895d22144b428dc4 /script/provider | |
| parent | 02ff292d6a556527ef2cb07bba4521e055f05a58 (diff) | |
| download | lua-language-server-b487d37819a5942d6807d2e9c338dd45557a6739.zip | |
fix `diagnostics.workspaceDelay`
Diffstat (limited to 'script/provider')
| -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 46ea600f..22287698 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -511,6 +511,9 @@ function m.diagnosticsScope(uri, force) m.clearAll() return end + if not force and config.get(uri, 'Lua.diagnostics.workspaceDelay') < 0 then + return + end local scp = scope.getScope(uri) local id = 'diagnosticsScope:' .. scp:getName() await.close(id) |