gtk: drop gtk_widget_set_double_buffered call
commit987fec54e1a59f50b3edd68b07964d7e1b62ae9a
authorGerd Hoffmann <kraxel@redhat.com>
Thu, 23 Oct 2014 13:29:37 +0000 (23 15:29 +0200)
committerGerd Hoffmann <kraxel@redhat.com>
Tue, 28 Oct 2014 10:25:14 +0000 (28 11:25 +0100)
tree20b3c53b49ab515aeb714ecbb9cb9375b5eb7e45
parent3e9418e160cd8901c83a3c88967158084f5b5c03
gtk: drop gtk_widget_set_double_buffered call

Dunno why it is here.  Removing it seems to have no ill side effects.
It is depricated in 3.14+.  In some cases it has no effect since 3.10
according to the docs:

https://developer.gnome.org/gtk3/stable/GtkWidget.html#gtk-widget-set-double-buffered

Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
ui/gtk.c