diff options
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] = { |