Method on_progressOutput

MiniZincIDE/mainwindow.cpp:2972–2976

}

void MainWindow::on_progressOutput(float progress)
{
    progressBar->setHidden(false);
    progressBar->setValue(static_cast<int>(progress));
}

void MainWindow::on_minizincError(const QJsonObject& error) {
    bool isError = error["type"].toString() == "error";