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]
This commit is contained in:
Simon Tatham
2005-05-31 08:50:42 +00:00
parent ee429c13cd
commit 2698fc9e9e
3 changed files with 10 additions and 1 deletions

2
gtk.c
View File

@ -468,7 +468,7 @@ static gint configure_area(GtkWidget *widget,
gdk_draw_rectangle(fe->pixmap, gc, 1, 0, 0, fe->w, fe->h);
gdk_gc_unref(gc);
midend_redraw(fe->me);
midend_force_redraw(fe->me);
return TRUE;
}

View File

@ -132,6 +132,14 @@ static void midend_set_timer(midend_data *me)
deactivate_timer(me->frontend);
}
void midend_force_redraw(midend_data *me)
{
if (me->drawstate)
me->ourgame->free_drawstate(me->drawstate);
me->drawstate = me->ourgame->new_drawstate(me->states[0].state);
midend_redraw(me);
}
void midend_new_game(midend_data *me)
{
while (me->nstates > 0)

View File

@ -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);