From 0dfd44266ac34d242f13445fa63b078fa5913192 Mon Sep 17 00:00:00 2001 From: AFCMS Date: Mon, 19 Jul 2021 23:36:25 +0200 Subject: [PATCH] make update_time depend of a setting --- mods/formspec_edit/init.lua | 2 +- settingtypes.txt | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 settingtypes.txt diff --git a/mods/formspec_edit/init.lua b/mods/formspec_edit/init.lua index bdd7922..894ece3 100644 --- a/mods/formspec_edit/init.lua +++ b/mods/formspec_edit/init.lua @@ -10,7 +10,7 @@ minetest.register_alias("mapgen_water_source", "air") --Variables local modpath = minetest.get_modpath("formspec_edit") local insecure_env = minetest.request_insecure_environment() -local update_time = 0.2 --seconds +local update_time = tonumber(minetest.settings:get("formspec_editor.update_time")) or 0.2 local error_formspec = [[ formspec_version[4] diff --git a/settingtypes.txt b/settingtypes.txt new file mode 100644 index 0000000..321094f --- /dev/null +++ b/settingtypes.txt @@ -0,0 +1,2 @@ +# Formspec update time (in seconds) +formspec_editor.update_time (Update time) float 0.2 \ No newline at end of file