#include "DockView.h"
-#include <QTextEdit>
+
#include <QSplashScreen>
#include <QTimer>
void lyxerrDisconnect();
void lyxerrFlush();
+ static QString currentTime();
+
Q_SIGNALS:
// ProgressInterface
void appendLyXErrMessage(QString const & text);
- void clearMessageText();
+ void clearMessageText();
void updateStatusBarMessage(QString const &);
+ void triggerFlush();
// Alert interface
void warning(QString const & title, QString const & message);
void doError(QString const &, QString const &);
void doInformation(QString const &, QString const &);
+ void updateWithLyXErr();
+ void startFlushing();
+
private:
void appendText(QString const &);
std::ostringstream lyxerr_stream_;
+ QTimer flushDelay_;
};