#include "qt_helpers.h"
+#include "frontends/alert.h"
+
#include "support/debug.h"
#include "support/Systemcall.h"
}
+int GuiProgress::prompt(docstring const & title, docstring const & question,
+ int default_button, int cancel_button,
+ docstring const & b1, docstring const & b2)
+{
+ return Alert::prompt(title, question, default_button, cancel_button, b1, b2);
+}
+
+
QString GuiProgress::currentTime()
{
- return QTime::currentTime().toString("hh:mm:ss:zzz") + "ms";
+ return QTime::currentTime().toString("hh:mm:ss.zzz");
}