From 74bf636da3f6e69d46d822a1d0bf1e3db6ec4e64 Mon Sep 17 00:00:00 2001
From: Martin Boonk <martin@boonk.info>
Date: Mon, 24 Jul 2023 20:23:20 +0200
Subject: [PATCH] apploader - Re-add remote IDE button

---
 android.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/android.html b/android.html
index 2211d0abd..2f90c2294 100644
--- a/android.html
+++ b/android.html
@@ -146,6 +146,7 @@
            <button class="btn tooltip" id="defaultbanglesettings" data-tooltip="Reset your Bangle's settings to the defaults">Reset Settings</button>
         </p><p>
            <button class="btn tooltip" id="newGithubIssue" data-tooltip="Create a new issue on GitHub">New issue on GitHub</button>
+           <button class="btn tooltip" id="webideremote" data-tooltip="Enable the Web IDE remote server">Web IDE Remote</button>
         </p>
         <h3>Settings</h3>
         <div class="form-group">