menu_text 1019 core/gui_menu.c menu_text(COLOR_RED); menu_text 1022 core/gui_menu.c menu_text(COLOR_YELLOW_DK);