diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-01-05 17:18:32 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-01-05 17:18:32 +0800 |
| commit | 96fbddee50795421f3476140c0cfc0dac48c71a3 (patch) | |
| tree | 4424aa4b61cbe9b6df0fd3d22559819d89d2bd03 /script | |
| parent | d6778d10edb8bf47a854098456421f746606996b (diff) | |
| download | lua-language-server-96fbddee50795421f3476140c0cfc0dac48c71a3.zip | |
fix
Diffstat (limited to 'script')
| -rw-r--r-- | script/workspace/workspace.lua | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 999f2e11..3d8a7890 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -494,14 +494,6 @@ function m.getLoadingProcess(uri) end end -files.watch(function (ev, uri) ---@async - if ev == 'close' - and m.isIgnored(uri) - and not files.isLibrary(uri) then - files.remove(uri) - end -end) - config.watch(function (uri, key, value, oldValue) if key:find '^Lua.runtime' or key:find '^Lua.workspace' |