:: commit 8b19de71e6bfed4a66511849ea5a424f54fbcaa5

mintsuki <mintsuki@protonmail.com> — 2022-03-26 08:49

parents: e8fcc85b03

editor: Remove useless VALID_KEYS

diff --git a/common/menu.c b/common/menu.c
index 6226deb5..96d1c9d8 100644
--- a/common/menu.c
+++ b/common/menu.c
@@ -84,41 +84,6 @@ static size_t get_prev_line(size_t index, const char *buffer) {
 }
 
 static const char *VALID_KEYS[] = {
-    "TIMEOUT",
-    "QUIET",
-    "DEFAULT_ENTRY",
-    "GRAPHICS",
-    "SERIAL",
-    "MENU_RESOLUTION",
-    "MENU_BRANDING",
-    "MENU_BRANDING_COLOUR",
-    "MENU_BRANDING_COLOR",
-    "MENU_FONT",
-    "MENU_FONT_SIZE",
-    "MENU_FONT_SCALE",
-    "MENU_FONT_SPACING",
-    "TERMINAL_FONT",
-    "TERMINAL_FONT_SIZE",
-    "TERMINAL_FONT_SCALE",
-    "TERMINAL_FONT_SPACING",
-    "THEME_COLOURS",
-    "THEME_COLORS",
-    "THEME_BRIGHT_COLOURS",
-    "THEME_BRIGHT_COLORS",
-    "THEME_BACKGROUND",
-    "THEME_FOREGROUND",
-    "THEME_MARGIN",
-    "THEME_MARGIN_GRADIENT",
-    "BACKGROUND_PATH",
-    "BACKGROUND_STYLE",
-    "BACKDROP_COLOUR",
-    "BACKDROP_COLOR",
-    "EDITOR_ENABLED",
-    "EDITOR_HIGHLIGHTING",
-    "EDITOR_VALIDATION",
-    "VERBOSE",
-    "RANDOMISE_MEMORY",
-    "RANDOMIZE_MEMORY",
     "COMMENT",
     "PROTOCOL",
     "CMDLINE",
tab: 248 wrap: offon