void badge_main_loop(void) {
char menu_buf[MAX_LEVELS][32];
- FILE *fd = fopen(PATH_PREFIX "levels.txt", "r");
+ FILE *fd = fopen("levels.txt", "r");
int i;
menu[j] = menu_buf[j];
}
- size_t choice = 0;
- size_t first_visible = 0;
+ uint8_t choice = 0;
+ uint8_t first_visible = 0;
for(;;) {
choice = badge_menu(menu, ARRAY_SIZE(menu), &first_visible, choice);