Also flush GDK after flushing GTK. Otherwise GTK might queue draw requests

* main.c (quit_box_new): Also flush GDK after flushing GTK.
Otherwise GTK might queue draw requests to X that don't get
executed.

svn path=/trunk/; revision=13617
This commit is contained in:
Ettore Perazzoli
2001-10-12 05:37:56 +00:00
parent ac07e6a338
commit 33423ed255
2 changed files with 11 additions and 0 deletions

View File

@ -1,3 +1,9 @@
2001-10-12 Ettore Perazzoli <ettore@ximian.com>
* main.c (quit_box_new): Also flush GDK after flushing GTK.
Otherwise GTK might queue draw requests to X that don't get
executed.
2001-10-12 Ettore Perazzoli <ettore@ximian.com>
[Hopefully really fix #8615 and friends.]

View File

@ -95,11 +95,16 @@ quit_box_new (void)
/* For some reason, the window fails to update without this
sometimes. */
gtk_widget_queue_draw (window);
gtk_widget_queue_draw (label);
gtk_widget_queue_draw (frame);
gdk_flush ();
while (gtk_events_pending ())
gtk_main_iteration ();
gdk_flush ();
return window;
}