From 91c5053e673b404c4acdca147e5d68bb7098becf Mon Sep 17 00:00:00 2001 From: Jean-Patrick Guerrero Date: Mon, 22 Feb 2016 10:29:53 +0100 Subject: [PATCH] Re-adapt WorldEdit's GUI button position to creative inventory --- worldedit_gui/init.lua | 4 ++-- 1 file 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 ..