diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2021-01-25 20:05:35 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2021-01-25 20:05:35 +0800 |
| commit | 9bf5c99c7676d04dead6ea84a0e8b8518c1dae7e (patch) | |
| tree | a326bb4255d9964703127d1800f491870f9a98dd /script/workspace | |
| parent | 7667109acd76492c82b17fbe57666b5db675d7ed (diff) | |
| download | lua-language-server-9bf5c99c7676d04dead6ea84a0e8b8518c1dae7e.zip | |
supports cancel workspace diagnostic
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 06bb900d..6f99891e 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -229,11 +229,12 @@ function m.awaitPreload() local diagnostic = require 'provider.diagnostic' await.close 'preload' await.setID 'preload' + await.sleep(0.1) diagnostic.pause() m.libraryMatchers = nil m.nativeMatcher = nil m.cache = {} - local progressBar <close> = progress.create('正在加载文件', 0) + local progressBar <close> = progress.create(lang.script.WORKSPACE_LOADING) local progressData = { max = 0, read = 0, |