+ connect(this, SIGNAL(triggerFlush()),
+ SLOT(startFlushing()));
+
+ flushDelay_.setInterval(200);
+ flushDelay_.setSingleShot(true);
+ connect(&flushDelay_, SIGNAL(timeout()), this, SLOT(updateWithLyXErr()));
+}
+
+
+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);
+}
+