- /* Current window width/height for resize handling. */
- Dimension game_sz[2], goal_sz[2];
-
- XtIntervalId timer_tick;
-
- XtIntervalId render_tick;
- XtWorkProcId render_proc;
- uint_fast32_t render_game_mask;
- uint_fast16_t render_goal_mask;
-
- /* If true, the goal will be displayed over the main play area. */
- int view_goal_on_game;