From 486aff5efcd4fd4039156423b832c9c65df88a58 Mon Sep 17 00:00:00 2001 From: Daniel Silverstone Date: Sat, 22 Feb 2020 21:01:22 +0000 Subject: GTK: Drain GTK events before schedule_run() Signed-off-by: Daniel Silverstone --- frontends/gtk/gui.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'frontends/gtk/gui.c') 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); -- cgit v1.2.3