1
0
mirror of https://github.com/Uberi/Minetest-WorldEdit.git synced 2024-12-26 02:30:40 +01:00

Adapt WorldEdit GUI button to the new creative inventory

This commit is contained in:
kilbith 2016-01-17 15:17:44 +01:00
parent 2e2fcfdfa2
commit e9e8de385c

View File

@ -143,8 +143,19 @@ else --fallback button
if not player then --this is in case the player signs off while the media is loading if not player then --this is in case the player signs off while the media is loading
return return
end end
if (minetest.check_player_privs(name, {creative=true}) or minetest.setting_getbool("creative_mode")) and creative_inventory then --creative_inventory is active, add button to modified formspec if (minetest.check_player_privs(name, {creative=true}) or
formspec = player:get_inventory_formspec() .. "image_button[6,0;1,1;inventory_plus_worldedit_gui.png;worldedit_gui;]" minetest.setting_getbool("creative_mode")) and
creative_inventory then --creative_inventory is active, add button to modified formspec
local creative_formspec = player:get_inventory_formspec()
local tab_id = tonumber(creative_formspec:match("tabheader%[.*;(%d)%;.*%]"))
if tab_id == 1 then
formspec = creative_formspec ..
"image_button[0,1;1,1;inventory_plus_worldedit_gui.png;worldedit_gui;]"
elseif not tab_id then
formspec = creative_formspec ..
"image_button[6,0;1,1;inventory_plus_worldedit_gui.png;worldedit_gui;]"
end
else else
formspec = formspec .. "image_button[0,0;1,1;inventory_plus_worldedit_gui.png;worldedit_gui;]" formspec = formspec .. "image_button[0,0;1,1;inventory_plus_worldedit_gui.png;worldedit_gui;]"
end end