diff options
| author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2020-02-22 21:01:22 +0000 |
|---|---|---|
| committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2020-02-22 21:01:27 +0000 |
| commit | 486aff5efcd4fd4039156423b832c9c65df88a58 (patch) | |
| tree | b631a87b75845e27479e2de9e6e1736d396de6b1 | |
| parent | 6321243bbd2d7ad5407eb9383d19b7d79e88122f (diff) | |
| download | netsurf-486aff5efcd4fd4039156423b832c9c65df88a58.tar.gz netsurf-486aff5efcd4fd4039156423b832c9c65df88a58.tar.bz2 | |
GTK: Drain GTK events before schedule_run()
Signed-off-by: Daniel Silverstone <dsilvers@digital-scurf.org>
| -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); |