Move worldedit.marker_update

Markers are part of the UI (`worldedit_chatcommands`) and do not belong in `worldedit`.
这个提交包含在:
sfan5
2020-04-07 00:14:31 +02:00
父节点 963a9f6b96
当前提交 9b26034aea
共有 4 个文件被更改,包括 24 次插入36 次删除

查看文件

@@ -39,7 +39,7 @@ local brush_on_use = function(itemstack, placer)
assert(pointed_thing.type == "node")
worldedit.pos1[name] = pointed_thing.under
worldedit.pos2[name] = nil
worldedit.mark_region(name)
worldedit.marker_update(name)
-- this isn't really clean...
local player_notify_old = worldedit.player_notify