diff options
author | Jean-Patrick Guerrero <jeanpatrick.guerrero@gmail.com> | 2016-02-22 10:29:53 +0100 |
---|---|---|
committer | Jean-Patrick Guerrero <jeanpatrick.guerrero@gmail.com> | 2016-02-22 10:29:53 +0100 |
commit | 91c5053e673b404c4acdca147e5d68bb7098becf (patch) | |
tree | 4b29c0a295f4082b42b937d636faac8d65ee31ab | |
parent | f2f714c19e18ede9b3e201b2a5b6bf9828a5dd8d (diff) |
Re-adapt WorldEdit's GUI button position to creative inventory
-rw-r--r-- | worldedit_gui/init.lua | 4 |
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 .. |