MapWidget: Turn off double buffering

diff --git a/libs/libgtkmap/gtkmap.c b/libs/libgtkmap/gtkmap.c
index dbd09aa0a10d23fa69d3b4755d18017090706a86..5681ab09ba4aae2d0ae9dddf2accfbd6804e50fa 100644 (file)
--- a/libs/libgtkmap/gtkmap.c
+++ b/libs/libgtkmap/gtkmap.c
@@ -827,6 +827,7 @@ widget->window=gdk_window_new(gtk_widget_get_parent_window(widget), &attributes,
 
 gdk_window_set_user_data(widget->window, widget);
 gtk_widget_set_app_paintable(widget, TRUE);
+gtk_widget_set_double_buffered(widget, FALSE);
 gtk_widget_set_extension_events(widget, GDK_EXTENSION_EVENTS_ALL);
 
 #if 0