/// For completion of autosave or export threads.
void processingThreadStarted();
+ void processingThreadFinished(bool show_errors);
void processingThreadFinished();
+ void autoSaveThreadFinished();
void indicateProcessing();
/// must be called in GUI thread