gui_clock_format_modes 1143 core/gui.c     static const char* gui_clock_format_modes[] =               { "24h", "12h"};
gui_clock_format_modes 1149 core/gui.c         MENU_ENUM2  (0x6d,LANG_MENU_OSD_CLOCK_FORMAT,           &conf.clock_format,     gui_clock_format_modes ),