diff options
| -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; } |