From a96abe1ddcc8b0c5142ce71887d83fd778b5e2c0 Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Mon, 16 Oct 2023 10:21:48 +0100
Subject: [PATCH] add option to android as per
 https://github.com/espruino/EspruinoAppLoaderCore/commit/0f78c425bbf1e1947a4981232d2d80110fd04fb8#commitcomment-129938882

---
 android.html | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/android.html b/android.html
index fb5d2557f..485f09a47 100644
--- a/android.html
+++ b/android.html
@@ -176,9 +176,13 @@
             </label>
             <label class="form-switch">
               <input type="checkbox" id="settings-alwaysAllowUpdate">
-              <i class="form-icon"></i> Always allow to reinstall apps in place regardless of the version
+              <i class="form-icon"></i> Always show "reinstall app" button <i class="icon icon-refresh"></i> regardless of the version
             </label>
-            <button class="btn" id="defaultsettings">Reset to default App Loader settings</button>
+            <label class="form-switch">
+              <input type="checkbox" id="settings-autoReload">
+              <i class="form-icon"></i> Automatically reload watch after app App Loader actions (removes "Hold button" prompt)
+            </label>
+            <button class="btn" id="defaultsettings">Reset App Loader settings to defaults</button>
           </details>
         </div>
         <div id="more-deviceinfo" style="display:none">