Method on_makeConfigDefault_pushButton_clicked

MiniZincIDE/configwindow.cpp:927–939

}

void ConfigWindow::on_makeConfigDefault_pushButton_clicked()
{
    auto sc = currentSolverConfig();
    if (!sc) {
        return;
    }
    try {
        MznDriver::get().setDefaultSolver(sc->solverDefinition);
        ui->makeConfigDefault_pushButton->setDisabled(true);
    } catch (Exception& e) {
        QMessageBox::warning(this, "MiniZinc IDE", e.message(), QMessageBox::Ok);
    }
}

void ConfigWindow::on_reset_pushButton_clicked()
{