From 33423ed255ce0fa7a246f36da4cb5ef5d278f08d Mon Sep 17 00:00:00 2001 From: Ettore Perazzoli Date: Fri, 12 Oct 2001 05:37:56 +0000 Subject: 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 --- shell/ChangeLog | 6 ++++++ shell/main.c | 5 +++++ 2 files changed, 11 insertions(+) diff --git a/shell/ChangeLog b/shell/ChangeLog index fc8579b7b4..5a7eb5ef63 100644 --- a/shell/ChangeLog +++ b/shell/ChangeLog @@ -1,3 +1,9 @@ +2001-10-12 Ettore Perazzoli + + * 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 [Hopefully really fix #8615 and friends.] 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; } -- cgit