}
static void game_redraw(drawing *dr, game_drawstate *ds, game_state *oldstate,
}
static void game_redraw(drawing *dr, game_drawstate *ds, game_state *oldstate,
FALSE, FALSE, game_print_size, game_print,
TRUE, /* wants_statusbar */
FALSE, game_timing_state,
FALSE, FALSE, game_print_size, game_print,
TRUE, /* wants_statusbar */
FALSE, game_timing_state,