summaryrefslogtreecommitdiff
path: root/script/workspace
diff options
context:
space:
mode:
Diffstat (limited to 'script/workspace')
-rw-r--r--script/workspace/workspace.lua4
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)