diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-07-01 16:28:00 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-07-01 16:28:00 +0800 |
| commit | fd5aaac3348907ac2618f84e013ab0902cfc20dc (patch) | |
| tree | ef887352bf8ce53dee8ae018ccf01d5fc310d16f /script/workspace | |
| parent | 87e0a180f97cd6bc31909b60228f1148c0289529 (diff) | |
| download | lua-language-server-fd5aaac3348907ac2618f84e013ab0902cfc20dc.zip | |
cleanup
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 9620f8a8..74e16096 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -518,6 +518,7 @@ end config.watch(function (uri, key, value, oldValue) if key:find '^Lua.runtime' or key:find '^Lua.workspace' + or key:find '^Lua.type' or key:find '^files' then if value ~= oldValue then m.reload(scope.getScope(uri)) |