+
+ // Alert interface
+ connect(this, SIGNAL(warning(QString const &, QString const &)),
+ SLOT(doWarning(QString const &, QString const &)));
+ connect(this, SIGNAL(toggleWarning(QString const &, QString const &, QString const &)),
+ SLOT(doToggleWarning(QString const &, QString const &, QString const &)));
+ connect(this, SIGNAL(error(QString const &, QString const &)),
+ SLOT(doError(QString const &, QString const &)));
+ connect(this, SIGNAL(information(QString const &, QString const &)),
+ SLOT(doInformation(QString const &, QString const &)));
+ connect(this, SIGNAL(triggerFlush()),
+ SLOT(startFlushing()));
+
+ flushDelay_.setInterval(200);
+ flushDelay_.setSingleShot(true);
+ connect(&flushDelay_, SIGNAL(timeout()), this, SLOT(updateWithLyXErr()));
+}
+
+
+QString GuiProgress::currentTime()
+{
+ return QTime::currentTime().toString("hh:mm:ss.zzz");