From: est31 <MTest31@outlook.com>
Date: Sat, 14 May 2016 20:12:38 +0000 (+0200)
Subject: Android: Re-add button to remove singleplayer world
X-Git-Tag: 0.4.14~1
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=c65e7a9b3edbd1f42e7478acdb02252e3c2237ec;p=oweals%2Fminetest.git

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 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") .. "]"