Use timeout source to process ui requests on windows
authorPaul Davis <paul@linuxaudiosystems.com>
Thu, 11 Jul 2013 16:56:35 +0000 (12:56 -0400)
committerPaul Davis <paul@linuxaudiosystems.com>
Thu, 11 Jul 2013 16:56:35 +0000 (12:56 -0400)
commit4adb2f97cc991341d7e3b2a165e72373221a1b5e
tree50947da18478ac74b94c777421ad3aff7cab0c3f
parent7626cd68ac033de3ebaa0bf60ce4bdbf7da44329
 Use timeout source to process ui requests on windows

Using a timeout source to process ui events/requests is suboptimal
but it works for the moment. Have to use g_source functions as glibmm
functions are not thread safe AFAIK.

Behaviour should be exactly the same on unix.
libs/gtkmm2ext/gtk_ui.cc
libs/pbd/base_ui.cc
libs/pbd/pbd/base_ui.h