Android: Re-add button to remove singleplayer world

Fixes #4120.
This commit is contained in:
est31 2016-05-14 22:12:38 +02:00 committed by Nils Dagsson Moskopp
parent 2c07dc8219
commit f0f9cda43b
Signed by: erlehmann
GPG Key ID: A3BC671C35191080
1 changed files with 5 additions and 1 deletions

View File

@ -203,7 +203,11 @@ local function formspec(tabview, name, tabdata)
"checkbox[8,0;cb_shaders;" .. fgettext("Shaders") .. ";"
.. dump(core.setting_getbool("enable_shaders")) .. "]"
if PLATFORM ~= "Android" then
if PLATFORM == "Android" then
tab_string = tab_string ..
"button[8,4.75;3.75,0.5;btn_reset_singleplayer;"
.. fgettext("Reset singleplayer world") .. "]"
else
tab_string = tab_string ..
"button[8,4.75;3.75,0.5;btn_change_keys;"
.. fgettext("Change keys") .. "]"