diff options
| -rw-r--r-- | worldedit_gui/init.lua | 11 | 
1 files changed, 5 insertions, 6 deletions
| diff --git a/worldedit_gui/init.lua b/worldedit_gui/init.lua index b1ebc72..3088f72 100644 --- a/worldedit_gui/init.lua +++ b/worldedit_gui/init.lua @@ -37,14 +37,13 @@ Example:  ]]  worldedit.register_gui_handler = function(identifier, handler) +	local enabled = true  	minetest.register_on_player_receive_fields(function(player, formname, fields) -		--ensure the form is not being exited since this is a duplicate message -		if fields.quit then -			return false -		end -		 +		if not enabled then return false end +		enabled = false +		minetest.after(0.2, function() enabled = true end)  		local name = player:get_player_name() -		 +  		--ensure the player has permission to perform the action  		local entry = worldedit.pages[identifier]  		if entry and minetest.check_player_privs(name, entry.privs or {}) then | 
