diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-11-02 21:56:36 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-11-02 21:56:36 +0800 |
| commit | 583fc679efcb6462e52978b4d7cbfe8d67f2e2de (patch) | |
| tree | 123d685e948a35a2beaa6ab760d9657b76905197 /script-beta | |
| parent | ebb5e55121b023c5eb8bb263edef5adc8b9629bd (diff) | |
| download | lua-language-server-583fc679efcb6462e52978b4d7cbfe8d67f2e2de.zip | |
应该把 < 0.001 的部分加回去
Diffstat (limited to 'script-beta')
| -rw-r--r-- | script-beta/provider/diagnostic.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script-beta/provider/diagnostic.lua b/script-beta/provider/diagnostic.lua index c53f4635..9c2a7267 100644 --- a/script-beta/provider/diagnostic.lua +++ b/script-beta/provider/diagnostic.lua @@ -258,6 +258,7 @@ function m.checkWorkspaceDiag() local sleepTime = passed * (100 - speedRate) / speedRate + m.sleepRest m.sleepRest = 0.0 if sleepTime < 0.001 then + m.sleepRest = m.sleepRest + sleepTime return end if sleepTime > 0.1 then |