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

1 files changed, 5 insertions, 0 deletions

diff --git a/shell/main.c b/shell/main.c
index 401a89d269..840bb6448a 100644
--- a/shell/main.c
+++ b/shell/main.c
@@ -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;
 }