#include "GuiProgressView.h"
#include "GuiApplication.h"
+#include "GuiProgress.h"
#include "qt_helpers.h"
#include "FuncRequest.h"
: DockView(parent, "progress", qt_("Progress/Debug Messages"), area, flags)
{
eol_last_ = true;
- widget_ = new ProgressViewWidget();
+ widget_ = new ProgressViewWidget;
widget_->setMinimumHeight(150);
widget_->debugMessagesTW->setSizePolicy(QSizePolicy::Ignored,
QSizePolicy::Expanding);
connect(progress, SIGNAL(appendMessage(QString const &)),
this, SLOT(appendText(QString const &)));
connect(progress, SIGNAL(appendLyXErrMessage(QString const &)),
- this, SLOT(appendLyXErrText(QString const &)));
+ this, SLOT(appendLyXErrText(QString const &)), Qt::QueuedConnection);
connect(progress, SIGNAL(appendError(QString const &)),
this, SLOT(appendText(QString const &)));
connect(progress, SIGNAL(clearMessages()), this, SLOT(clearText()));