mirror of
https://github.com/ExeVirus/formspec_editor.git
synced 2025-03-22 17:32:22 +00:00
make update_time depend of a setting
This commit is contained in:
parent
1f9fc8cb49
commit
0dfd44266a
2 changed files with 3 additions and 1 deletions
|
@ -10,7 +10,7 @@ minetest.register_alias("mapgen_water_source", "air")
|
||||||
--Variables
|
--Variables
|
||||||
local modpath = minetest.get_modpath("formspec_edit")
|
local modpath = minetest.get_modpath("formspec_edit")
|
||||||
local insecure_env = minetest.request_insecure_environment()
|
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 = [[
|
local error_formspec = [[
|
||||||
formspec_version[4]
|
formspec_version[4]
|
||||||
|
|
2
settingtypes.txt
Normal file
2
settingtypes.txt
Normal file
|
@ -0,0 +1,2 @@
|
||||||
|
# Formspec update time (in seconds)
|
||||||
|
formspec_editor.update_time (Update time) float 0.2
|
Loading…
Add table
Reference in a new issue