diff options
-rw-r--r-- | frontends/gtk/gui.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/gtk/gui.c b/frontends/gtk/gui.c index 3cfcd5cb1..17dbc499a 100644 --- a/frontends/gtk/gui.c +++ b/frontends/gtk/gui.c @@ -500,6 +500,9 @@ static void nsgtk_main(void) FD_ZERO(&write_fd_set); FD_ZERO(&exc_fd_set); + while (gtk_events_pending()) + gtk_main_iteration_do(TRUE); + schedule_run(); fetch_fdset(&read_fd_set, &write_fd_set, &exc_fd_set, &max_fd); |