void credits_deff (void) { credits_draw (); deff_swap_low_high (in_live_game ? 12 : 20, 2 * TIME_100MS); deff_delay_and_exit (TIME_1S); }
void amode_credits_page (void) { credits_draw (); dmd_show_low (); amode_page_end (1); }