:: commit 41835870f7792a48dfa75b68e9fa9cc7da5063e0

czapek1337 <czapek1337@gmail.com> — 2022-01-28 22:10

parents: ac103dff92

menu: Handle uppercase inputs for menu hotkeys

diff --git a/stage23/menu.c b/stage23/menu.c
index b0f6b60c..6430b0e6 100644
--- a/stage23/menu.c
+++ b/stage23/menu.c
@@ -847,7 +847,8 @@ timeout_aborted:
                     reset_term();
                 }
                 boot(selected_menu_entry->body);
-            case 'e': {
+            case 'e':
+            case 'E': {
                 if (editor_enabled) {
                     if (selected_menu_entry->sub != NULL)
                         goto refresh;
@@ -860,7 +861,8 @@ timeout_aborted:
                 }
                 break;
             }
-            case 'c': {
+            case 'c':
+            case 'C': {
                 reset_term();
                 console();
                 goto refresh;
tab: 248 wrap: offon