SLOT(doError(QString const &, QString const &)));
connect(this, SIGNAL(information(QString const &, QString const &)),
SLOT(doInformation(QString const &, QString const &)));
+
+ flushDelay_.setInterval(200);
+ flushDelay_.setSingleShot(true);
+ connect(&flushDelay_, SIGNAL(timeout()), this, SLOT(updateWithLyXErr()));
}
void GuiProgress::lyxerrFlush()
+{
+ flushDelay_.start();
+}
+
+
+void GuiProgress::updateWithLyXErr()
{
appendLyXErrMessage(toqstr(lyxerr_stream_.str()));
lyxerr_stream_.str("");
#include "DockView.h"
-#include <QTextEdit>
+
#include <QSplashScreen>
#include <QTimer>
void lyxerrConnect();
void lyxerrDisconnect();
void lyxerrFlush();
-
- static QString currentTime();
+
+ static QString currentTime();
Q_SIGNALS:
void doError(QString const &, QString const &);
void doInformation(QString const &, QString const &);
+ void updateWithLyXErr();
+
private:
void appendText(QString const &);
- std::ostringstream lyxerr_stream_;
+ std::ostringstream lyxerr_stream_;
+ QTimer flushDelay_;
};