From 516e17d0d86c6ea244c0f8d3bd9b20bf3729390f Mon Sep 17 00:00:00 2001
From: Rob Pilling <robpilling@gmail.com>
Date: Tue, 12 Nov 2024 17:49:56 +0000
Subject: [PATCH] settings: return the new menu from popMenu

(for theme)
---
 apps/setting/settings.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/apps/setting/settings.js b/apps/setting/settings.js
index 723f420c5..9b1895760 100644
--- a/apps/setting/settings.js
+++ b/apps/setting/settings.js
@@ -34,7 +34,9 @@ function restoreMenu(menu) {
 function popMenu(menu) {
   if(!menu[""]) menu[""] = {};
   menu[""].scroll = scrolls.pop() | 0;
-  menuScroller = E.showMenu(menu).scroller;
+  const m = E.showMenu(menu);
+  menuScroller = m.scroller;
+  return m;
 }
 
 function updateOptions() {