From c65e7a9b3edbd1f42e7478acdb02252e3c2237ec Mon Sep 17 00:00:00 2001 From: est31 Date: Sat, 14 May 2016 22:12:38 +0200 Subject: [PATCH] Android: Re-add button to remove singleplayer world Fixes #4120. --- builtin/mainmenu/tab_settings.lua | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/builtin/mainmenu/tab_settings.lua b/builtin/mainmenu/tab_settings.lua index b9f2453ab..af8df0ccb 100644 --- a/builtin/mainmenu/tab_settings.lua +++ b/builtin/mainmenu/tab_settings.lua @@ -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") .. "]"