One change that might be considered:
Jürgen Spitzmüller wrote:
> Index: src/frontends/qt4/GuiApplication.cpp
> ===================================================================
> --- src/frontends/qt4/GuiApplication.cpp (Revision 35694)
> +++ src/frontends/qt4/GuiApplication.cpp (Arbeitskopie)
> @@ -947,6 +947,18 @@
> }
>
>
> +void GuiApplication::addtoFuncRequestQueue(FuncRequest const & func)
> +{
> + d->func_request_queue_.push(func);
> +}
> +
> +
> +void GuiApplication::performFuncRequests()
> +{
> + processFuncRequestQueue();
> +}
+void GuiApplication::performFuncRequests()
+{
+ QTimer::singleShot(0, this, SLOT(processFuncRequestQueue()));
+}
in case the asynchronous process is still needed?
Jürgen
