GTK misfires timers at inconvenient moments, sometimes causing a new

puzzle of a different size to be redrawn before the pixmap is
resized, and since backends never redraw already-drawn stuff this is
a problem. Was biting me when I entered a Mines game ID of a
different size than the current settings into the Specific box.

[originally from svn r5872]

1 files changed, 1 insertions, 0 deletions

diff --git a/puzzles.h b/puzzles.h
index 4ee718e..bf441c6 100644
--- a/puzzles.h
+++ b/puzzles.h
@@ -131,6 +131,7 @@ void midend_size(midend_data *me, int *x, int *y);
 void midend_new_game(midend_data *me);
 void midend_restart_game(midend_data *me);
 int midend_process_key(midend_data *me, int x, int y, int button);
+void midend_force_redraw(midend_data *me);
 void midend_redraw(midend_data *me);
 float *midend_colours(midend_data *me, int *ncolours);
 void midend_timer(midend_data *me, float tplus);