diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2021-07-07 15:01:25 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2021-07-07 15:01:25 +0800 |
| commit | a2050f55b58e5990ebfc33ed9ae4db90c7bf3f19 (patch) | |
| tree | 4e1c44a806815b2088877f3c49ed0cfa8942e0d9 /script/workspace | |
| parent | e7b1f98a39b6761659a4187c424ce3dbbb6ff957 (diff) | |
| download | lua-language-server-a2050f55b58e5990ebfc33ed9ae4db90c7bf3f19.zip | |
cleanup
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index b50ed42b..d426f6b5 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -535,4 +535,14 @@ files.watch(function (ev, uri) end end) +config.watch(function (key, value, oldValue) + if key:find '^Lua.runtime' + or key:find '^Lua.workspace' + or key:find '^files' then + if value ~= oldValue then + m.reload() + end + end +end) + return m |