}
+QString GuiProgress::currentTime()
+{
+ return QTime::currentTime().toString("hh:mm:ss:zzz") + "ms";
+}
+
+
void GuiProgress::doProcessStarted(QString const & cmd)
{
- QString time = QTime::currentTime().toString();
- appendText(time + ": <" + cmd + "> started");
+ appendText(currentTime() + ": <" + cmd + "> started");
}
void GuiProgress::doProcessFinished(QString const & cmd)
{
- QString time = QTime::currentTime().toString();
- appendText(time + ": <" + cmd + "> done");
+ appendText(currentTime() + ": <" + cmd + "> done");
}
void lyxerrConnect();
void lyxerrDisconnect();
void lyxerrFlush();
+
+ static QString currentTime();
Q_SIGNALS:
private:
void appendText(QString const &);
- std::ostringstream lyxerr_stream_;
+ std::ostringstream lyxerr_stream_;
};
{
if (text.isEmpty() || !widget_->sbarCB->isChecked())
return;
- QString str = QTime::currentTime().toString();
+ QString str = GuiProgress::currentTime();
str += ": " + text;
if (!text.endsWith("\n"))
str += "\n";