diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-09-16 11:10:01 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-09-16 11:10:01 +0800 |
| commit | e552d7734026c34a899c7cf4aeca72e55cb3ce90 (patch) | |
| tree | 8d5e80ee1a23e1df4725a8a0d0cf5a83f5e6695a /script-beta/provider/provider.lua | |
| parent | adec54fbd951417f8448b51c2efb2393bfd476f5 (diff) | |
| download | lua-language-server-e552d7734026c34a899c7cf4aeca72e55cb3ce90.zip | |
晚点再查动态修改设置的问题
Diffstat (limited to 'script-beta/provider/provider.lua')
| -rw-r--r-- | script-beta/provider/provider.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/script-beta/provider/provider.lua b/script-beta/provider/provider.lua index 3c01161a..5eda50ca 100644 --- a/script-beta/provider/provider.lua +++ b/script-beta/provider/provider.lua @@ -43,6 +43,8 @@ local function updateConfig() library.reload() end if not util.equal(oldConfig.diagnostics, newConfig.diagnostics) then + local diagnostics = require 'provider.diagnostic' + diagnostics.diagnosticsAll() end if not util.equal(oldConfig.plugin, newConfig.plugin) then end |