summaryrefslogtreecommitdiff
path: root/script-beta
diff options
context:
space:
mode:
Diffstat (limited to 'script-beta')
-rw-r--r--script-beta/core/rename.lua12
1 files changed, 9 insertions, 3 deletions
diff --git a/script-beta/core/rename.lua b/script-beta/core/rename.lua
index 8410c04f..40104389 100644
--- a/script-beta/core/rename.lua
+++ b/script-beta/core/rename.lua
@@ -5,6 +5,7 @@ local proto = require 'proto'
local define = require 'proto.define'
local util = require 'utility'
local findSource = require 'core.find-source'
+local ws = require 'workspace'
local Forcing
@@ -389,15 +390,20 @@ function m.rename(uri, pos, newname)
local mark = {}
rename(source, newname, function (target, start, finish, text)
- if mark[start] then
+ local turi = files.getOriginUri(guide.getUri(target))
+ local uid = turi .. start
+ if mark[uid] then
+ return
+ end
+ mark[uid] = true
+ if ws.isLibrary(turi) then
return
end
- mark[start] = true
results[#results+1] = {
start = start,
finish = finish,
text = text,
- uri = files.getOriginUri(guide.getUri(target)),
+ uri = turi,
}
end)