Android: Re-add button to remove singleplayer world

Fixes #4120.

diff --git a/builtin/mainmenu/tab_settings.lua b/builtin/mainmenu/tab_settings.lua
index b9f2453abbb745a5f62e957c008152b1e13aec44..af8df0ccb143556911359fd8946c41e724f7f542 100644 (file)
--- 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") .. "]"