Documentation browser, improved error messages

This commit is contained in:
tobtoht
2023-10-03 21:00:12 +02:00
parent 15360df99e
commit 951f16e602
88 changed files with 1423 additions and 713 deletions
+6 -2
View File
@@ -179,8 +179,12 @@ void VerifyProofDialog::proofStatus(bool success, const QString &message) {
}
else {
ui->btn_verify->setEnabled(true);
success ? QMessageBox::information(this, "Information", message)
: QMessageBox::warning(this, "Warning", message);
if (success) {
Utils::showInfo(this, message);
} else {
Utils::showError(this, message);
}
}
}