From fe1a11e0981e8ef2573c56305efd55f36df03c92 Mon Sep 17 00:00:00 2001
From: Rob Pilling <robpilling@gmail.com>
Date: Wed, 10 May 2023 21:24:47 +0100
Subject: [PATCH] drained: fix menu redraw

---
 apps/drained/settings.ts | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/apps/drained/settings.ts b/apps/drained/settings.ts
index 23d7ce18d..f972f51a7 100644
--- a/apps/drained/settings.ts
+++ b/apps/drained/settings.ts
@@ -62,13 +62,15 @@ type DrainedSettings = {
       onchange: (b: boolean) => {
         settings.keepStartup = b;
         save();
-        updateMenu();
-        E.showMenu(menu);
+        updateAndRedraw();
       },
     },
   };
 
-  const updateMenu = () => {
+  const updateAndRedraw = () => {
+    // will change the menu, queue redraw:
+    setTimeout(() => { E.showMenu(menu) }, 10);
+
     if (settings.keepStartup) {
       delete menu["Startup exceptions"];
       return;
@@ -98,6 +100,5 @@ type DrainedSettings = {
       });
   };
 
-  updateMenu();
-  E.showMenu(menu);
+  updateAndRedraw();
 }) satisfies SettingsFunc