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 | |
parent | ac07e6a338f1dba0a4c5a5d044bb58b01e82a211 (diff) | |
download | gsoc2013-evolution-33423ed255ce0fa7a246f36da4cb5ef5d278f08d.tar gsoc2013-evolution-33423ed255ce0fa7a246f36da4cb5ef5d278f08d.tar.gz gsoc2013-evolution-33423ed255ce0fa7a246f36da4cb5ef5d278f08d.tar.bz2 gsoc2013-evolution-33423ed255ce0fa7a246f36da4cb5ef5d278f08d.tar.lz gsoc2013-evolution-33423ed255ce0fa7a246f36da4cb5ef5d278f08d.tar.xz 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')
-rw-r--r-- | shell/ChangeLog | 6 | ||||
-rw-r--r-- | shell/main.c | 5 |
2 files changed, 11 insertions, 0 deletions
diff --git a/shell/ChangeLog b/shell/ChangeLog index fc8579b7b4..5a7eb5ef63 100644 --- a/shell/ChangeLog +++ b/shell/ChangeLog @@ -1,5 +1,11 @@ 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.] * main.c (no_views_left_cb): Invoke `e_shell_disconnect_db()' 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; } |