GTK 3 port: don't turn off drawing area double buffering.

I think I did this in GTK2 on the basis that our server-side cache
pixmap was double-buffering enough for us - any puzzle which erased a
big area with a background rectangle and then redrew over the top of
it would do so only on the off-screen pixmap, and the updates would
only be copied to the visible window after it was all done.

In GTK3, I don't think there's any need - this is all the usual way
things are done anyway, as far as I can see. So I've turned this call
back off, at least until I hear of a reason why I need it again.
This commit is contained in:
Simon Tatham
2015-10-03 12:28:26 +01:00
parent 1b2e4d525f
commit 41cc7c868f

2
gtk.c
View File

@ -2573,7 +2573,7 @@ static frontend *new_window(char *arg, int argtype, char **error)
fe->statusbar = NULL; fe->statusbar = NULL;
fe->area = gtk_drawing_area_new(); fe->area = gtk_drawing_area_new();
#if GTK_CHECK_VERSION(2,0,0) #if GTK_CHECK_VERSION(2,0,0) && !GTK_CHECK_VERSION(3,0,0)
gtk_widget_set_double_buffered(fe->area, FALSE); gtk_widget_set_double_buffered(fe->area, FALSE);
#endif #endif
{ {