diff options
author | Ettore Perazzoli <ettore@src.gnome.org> | 2001-10-12 13:37:56 +0800 |
---|---|---|
committer | Ettore Perazzoli <ettore@src.gnome.org> | 2001-10-12 13:37:56 +0800 |
commit | 33423ed255ce0fa7a246f36da4cb5ef5d278f08d (patch) | |
tree | f94084aa193ec37b89252815951de8ae4a5fe79d /shell/main.c | |
parent | ac07e6a338f1dba0a4c5a5d044bb58b01e82a211 (diff) | |
download | gsoc2013-evolution-33423ed255ce0fa7a246f36da4cb5ef5d278f08d.tar.gz gsoc2013-evolution-33423ed255ce0fa7a246f36da4cb5ef5d278f08d.tar.zst gsoc2013-evolution-33423ed255ce0fa7a246f36da4cb5ef5d278f08d.zip |
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
Diffstat (limited to 'shell/main.c')
-rw-r--r-- | shell/main.c | 5 |
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; } |