diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-11-17 10:11:15 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-11-17 10:11:15 +0800 |
| commit | 8ee748f3d885bcdcbfbd530a570c500adcb04351 (patch) | |
| tree | c11ed402033ad6f8e044e4d20d090517836b43e2 /script-beta/core/rename.lua | |
| parent | 04e29e9d527beef498ee2ceedfedfa5111862942 (diff) | |
| download | lua-language-server-8ee748f3d885bcdcbfbd530a570c500adcb04351.zip | |
更新
Diffstat (limited to 'script-beta/core/rename.lua')
| -rw-r--r-- | script-beta/core/rename.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script-beta/core/rename.lua b/script-beta/core/rename.lua index 40104389..89298bdd 100644 --- a/script-beta/core/rename.lua +++ b/script-beta/core/rename.lua @@ -396,7 +396,7 @@ function m.rename(uri, pos, newname) return end mark[uid] = true - if ws.isLibrary(turi) then + if files.isLibrary(turi) then return end results[#results+1] = { |