diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2022-10-25 01:28:17 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2022-10-25 01:28:17 +0800 |
commit | 8f2dac8ba32271e45061128070063e0ddd0d73c4 (patch) | |
tree | 38714d88cb83e1290bb19c55c259653a25e831dd /script/provider | |
parent | e3edc5d1880a392e065a71926b6f8ff113ea300c (diff) | |
download | lua-language-server-8f2dac8ba32271e45061128070063e0ddd0d73c4.zip |
add `doc.privateName` and `doc.protectedName`
#1316
Diffstat (limited to 'script/provider')
-rw-r--r-- | script/provider/diagnostic.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index 0fac3e17..719ae12a 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -644,8 +644,9 @@ files.watch(function (ev, uri) ---@async end) config.watch(function (uri, key, value, oldValue) - if util.stringStartWith(key, 'Lua.diagnostics') - or util.stringStartWith(key, 'Lua.spell') then + if util.stringStartWith(key, 'Lua.diagnostics') + or util.stringStartWith(key, 'Lua.spell') + or util.stringStartWith(key, 'Lua.doc') then if value ~= oldValue then m.diagnosticsScope(uri) m.refreshClient() |