diff options
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 45fd6595..272ceb0e 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -558,7 +558,9 @@ config.watch(function (uri, key, value, oldValue) or key:find '^Lua.type' or key:find '^files' then if value ~= oldValue then - m.reload(scope.getScope(uri)) + local scp = scope.getScope(uri) + m.reload(scp) + m.resetFiles(scp) end end end) |