/* Current window width/height for resize handling. */
Dimension game_sz[2], goal_sz[2];
/* Current window width/height for resize handling. */
Dimension game_sz[2], goal_sz[2];
void x11_initialize(struct app_state *state, Widget shell);
void x11_redraw_icon(struct app_state *state, Widget shell);
void x11_redraw_goal(struct app_state *state, uint_fast32_t mask);
void x11_initialize(struct app_state *state, Widget shell);
void x11_redraw_icon(struct app_state *state, Widget shell);
void x11_redraw_goal(struct app_state *state, uint_fast32_t mask);