From ba1506d1baf5a3cf9796899071543766cfd592e6 Mon Sep 17 00:00:00 2001
From: Rob Pilling <robpilling@gmail.com>
Date: Tue, 19 Nov 2024 22:10:19 +0000
Subject: [PATCH] settings: add restoreMenu comment

---
 apps/setting/settings.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/apps/setting/settings.js b/apps/setting/settings.js
index 9b0027904..db3150f00 100644
--- a/apps/setting/settings.js
+++ b/apps/setting/settings.js
@@ -26,6 +26,7 @@ function pushMenu(menu) {
 }
 
 function restoreMenu(menu) {
+  // equivalent to pushMenu(null); popMenu(menu);
   if(!menu[""]) menu[""] = {};
   menu[""].scroll = menuScroller.scroll;
   menuScroller = E.showMenu(menu).scroller;