diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-10-20 16:58:57 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-10-20 16:58:57 +0800 |
| commit | 135f38d1b4f4d7b989f738bead5b59bdaf58f7e1 (patch) | |
| tree | 0057af75111840f34da65a43cd8df8ce92f63f85 /script-beta/provider/provider.lua | |
| parent | bb319039fdf41326f23ef0c7288123889434b0a8 (diff) | |
| download | lua-language-server-135f38d1b4f4d7b989f738bead5b59bdaf58f7e1.zip | |
luadoc的第一步
Diffstat (limited to 'script-beta/provider/provider.lua')
| -rw-r--r-- | script-beta/provider/provider.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script-beta/provider/provider.lua b/script-beta/provider/provider.lua index c747027c..094ac027 100644 --- a/script-beta/provider/provider.lua +++ b/script-beta/provider/provider.lua @@ -62,6 +62,9 @@ local function updateConfig() then workspace.reload() end + if not util.equal(oldConfig.luadoc, newConfig.luadoc) then + files.flushCache() + end if newConfig.completion.enable then completion.enable() |