diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2022-07-01 16:28:00 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2022-07-01 16:28:00 +0800 |
commit | fd5aaac3348907ac2618f84e013ab0902cfc20dc (patch) | |
tree | ef887352bf8ce53dee8ae018ccf01d5fc310d16f /script/provider/diagnostic.lua | |
parent | 87e0a180f97cd6bc31909b60228f1148c0289529 (diff) | |
download | lua-language-server-fd5aaac3348907ac2618f84e013ab0902cfc20dc.zip |
cleanup
Diffstat (limited to 'script/provider/diagnostic.lua')
-rw-r--r-- | script/provider/diagnostic.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index a5a1b527..c3822087 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -594,7 +594,8 @@ files.watch(function (ev, uri) ---@async end) config.watch(function (uri, key, value, oldValue) - if key:find 'Lua.diagnostics' then + if util.stringStartWith(key, 'Lua.diagnostics') + or util.stringStartWith(key, 'Lua.spell') then if value ~= oldValue then m.diagnosticsScope(uri) m.refreshClient() |