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