Use one place to generate current time string, increase resolution to ms

[features.git] / src / frontends / qt4 / GuiProgress.h

diff --git a/src/frontends/qt4/GuiProgress.h b/src/frontends/qt4/GuiProgress.h
index 5248dcc40b5a88f33155cb25c59fc121ca82570b..49f1e2b4b887f4017ccd2ef0c40b8974779855ec 100644 (file)
--- a/src/frontends/qt4/GuiProgress.h
+++ b/src/frontends/qt4/GuiProgress.h
@@ -41,6 +41,8 @@ public:
        void lyxerrConnect();
        void lyxerrDisconnect();
        void lyxerrFlush();
+        
+        static QString currentTime();
 
 Q_SIGNALS:
 
@@ -77,7 +79,7 @@ private Q_SLOTS:
 
 private:
        void appendText(QString const &);
-       std::ostringstream lyxerr_stream_;
+       std::ostringstream lyxerr_stream_;      
 };