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_redraw_game(struct app_state *state, uint_fast32_t mask);
+/*
+ * Redraw goal tiles immediately. The mask specifies which tiles will
+ * be redrawn, in the same bit arrangement as the board goal bitmaps.
+ * Tiles corresponding to set bits in mask are redrawn, and tiles
+ * corresponding to clear bits are not redrawn.
+ *
+ * Additionally, if icon_shell is non-null (with the caller passing the
+ * application shell widget), the program's icon pixmap is updated to
+ * match the current goal.
+ */
+void x11_redraw_goal(struct app_state *state, uint_fast32_t mask,
+ Widget icon_shell);
+
/*
* Mark tiles for redraw. The redraw is not performed immediately, but
* rather a background task is installed to perform the redraw at a later