summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJean-Patrick Guerrero <jeanpatrick.guerrero@gmail.com>2016-02-22 10:29:53 +0100
committerJean-Patrick Guerrero <jeanpatrick.guerrero@gmail.com>2016-02-22 10:29:53 +0100
commit91c5053e673b404c4acdca147e5d68bb7098becf (patch)
tree4b29c0a295f4082b42b937d636faac8d65ee31ab
parentf2f714c19e18ede9b3e201b2a5b6bf9828a5dd8d (diff)
Re-adapt WorldEdit's GUI button position to creative inventory
-rw-r--r--worldedit_gui/init.lua4
1 files changed, 2 insertions, 2 deletions
diff --git a/worldedit_gui/init.lua b/worldedit_gui/init.lua
index c0a1d8f..9d1f45a 100644
--- a/worldedit_gui/init.lua
+++ b/worldedit_gui/init.lua
@@ -145,9 +145,9 @@ else --fallback button
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
+ creative then --creative is active, add button to modified 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
formspec = creative_formspec ..