diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-01-12 17:19:03 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-01-12 17:19:03 +0800 |
| commit | ac9e09ffb7e0dddf7e48725ce59733c53a7443b3 (patch) | |
| tree | 8635af9b4e8b8b770bbb565eddeb48494dfbb5f3 /script/provider/diagnostic.lua | |
| parent | d066720039568bab0126bc058faf23588500562a (diff) | |
| download | lua-language-server-ac9e09ffb7e0dddf7e48725ce59733c53a7443b3.zip | |
improve completion speed
Diffstat (limited to 'script/provider/diagnostic.lua')
| -rw-r--r-- | script/provider/diagnostic.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index db967e81..907ed55d 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -352,7 +352,7 @@ function m.diagnosticsScope(uri, force) end await.close ('diagnosticsScope:' .. uri) await.call(function () ---@async - await.sleep(delay) + await.sleep(math.max(delay, 0.1)) local clock = os.clock() local bar <close> = progress.create(ws.getScope(uri), lang.script.WORKSPACE_DIAGNOSTIC, 1) local cancelled |