diff options
Diffstat (limited to 'script/provider/diagnostic.lua')
| -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() |