Searched refs:update_game_window (Results 1 – 6 of 6) sorted by relevance
150 extern void update_game_window(void);196 update_game_window(); in alert_user()
144 void update_game_window(void);
731 update_game_window(); in get_level_number_from_user()1454 update_game_window(); in process_event()
1074 if (get_game_state() == _game_in_progress) update_game_window(); in Run()
2975 void update_game_window(void) in update_game_window() function
1215 update_game_window(); in toggle_fullscreen()