diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-06-14 21:14:23 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-06-14 21:14:23 +0800 |
| commit | 1af368f7c8188c2e8406a18823c4fd052c1ad685 (patch) | |
| tree | 9267fb5d37abd696f5e159a953f2aa96bdd29f12 /script | |
| parent | d3c2e2c89072b2047b8a8ba1d020db52339a09e2 (diff) | |
| download | lua-language-server-1af368f7c8188c2e8406a18823c4fd052c1ad685.zip | |
fix so many workspace diagnostics
Diffstat (limited to 'script')
| -rw-r--r-- | script/provider/provider.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/provider/provider.lua b/script/provider/provider.lua index ad23ccda..2943c77e 100644 --- a/script/provider/provider.lua +++ b/script/provider/provider.lua @@ -1227,7 +1227,7 @@ m.register 'textDocument/diagnostic' { workspace.awaitReady(uri) local core = require 'provider.diagnostic' -- TODO: do some trick - core.refresh(uri) + core.doDiagnostic(uri) return { kind = 'unchanged', |