add a timeout to flush_pending()
authorRobin Gareus <robin@gareus.org>
Mon, 25 Jul 2016 12:13:52 +0000 (14:13 +0200)
committerRobin Gareus <robin@gareus.org>
Mon, 25 Jul 2016 12:13:52 +0000 (14:13 +0200)
commit3953879d4d423e3d7f79b1913b4ff6fe502c6542
treeb275c3bcc8e3b763c0776eb66c8879d43313eda0
parent42b20f15a2e5d751582f4c467ffcbcbc9b71a59c
add a timeout to flush_pending()

In some circumstances UI::flush_pending never returns, and all UI
interactive ends up being driven by
   while (gtk_events_pending()) { gtk_main_iteration(); }
This has various implications depending on the caller and usually results
in a crash at session-close or exit.
libs/gtkmm2ext/gtk_ui.cc
libs/gtkmm2ext/gtkmm2ext/gtk_ui.h