public:
ProgressDummy() {}
- void processStarted(QString const &) {}
- void processFinished(QString const &) {}
- void appendMessage(QString const &) {}
- void appendError(QString const &) {}
- void clearMessages() {}
- void lyxerrFlush() {}
-
- void lyxerrConnect() {}
- void lyxerrDisconnect() {}
-
- void warning(QString const &, QString const &) {}
- void toggleWarning(QString const &, QString const &, QString const &) {}
- void error(QString const &, QString const &, QString const &) {}
- void information(QString const &, QString const &) {}
+ void processStarted(QString const &) override {}
+ void processFinished(QString const &) override {}
+ void appendMessage(QString const &) override {}
+ void appendError(QString const &) override {}
+ void clearMessages() override {}
+ void lyxerrFlush() override {}
+
+ void lyxerrConnect() override {}
+ void lyxerrDisconnect() override {}
+
+ void warning(QString const &, QString const &) override {}
+ void toggleWarning(QString const &, QString const &, QString const &) override {}
+ void error(QString const &, QString const &, QString const &) override {}
+ void information(QString const &, QString const &) override {}
int prompt(docstring const &, docstring const &, int default_but, int,
- docstring const &, docstring const &) { return default_but; }
+ docstring const &, docstring const &) override { return default_but; }
};
bool SystemcallPrivate::waitWhile(State waitwhile, bool process_events, int timeout)
{
- timeout = 1000;
if (!process_)
return false;