Re-adapt WorldEdit's GUI button position to creative inventory

This commit is contained in:
Jean-Patrick Guerrero 2016-02-22 10:29:53 +01:00
parent f2f714c19e
commit 91c5053e67

View File

@ -145,9 +145,9 @@ else --fallback button
end end
if (minetest.check_player_privs(name, {creative=true}) or if (minetest.check_player_privs(name, {creative=true}) or
minetest.setting_getbool("creative_mode")) and minetest.setting_getbool("creative_mode")) and
creative_inventory then --creative_inventory is active, add button to modified formspec creative then --creative is active, add button to modified formspec
local creative_formspec = player:get_inventory_formspec() local creative_formspec = player:get_inventory_formspec()
local tab_id = tonumber(creative_formspec:match("tabheader%[.*;(%d)%;.*%]")) local tab_id = tonumber(creative_formspec:match("tabheader%[.-;(%d+)%;"))
if tab_id == 1 then if tab_id == 1 then
formspec = creative_formspec .. formspec = creative_formspec ..