Method saveConfig

MiniZincIDE/configwindow.cpp:267–303

}

QString ConfigWindow::saveConfig(int index)
{
    auto sc = configs[index];
    auto oldSc = sc;
    updateSolverConfig(configs[currentIndex()]);

    if (sc->isBuiltin) {
        // Must clone built-in configs
        sc = new SolverConfiguration(*sc);
    }

    QString target = sc->paramFile;
    if (sc->paramFile.isEmpty()) {
        QFileInfo fi(sc->paramFile);
        target = QFileDialog::getSaveFileName(this,
                                              "Save configuration",
                                              fi.canonicalFilePath(),
                                              "Solver configuration files (*.mpc)");
    }

    if (target.isEmpty()) {
        return "";
    }

    QFile f(target);
    f.open(QFile::WriteOnly | QFile::Truncate);
    f.write(sc->toJSON());
    f.close();

    oldSc->modified = false;
    sc->modified = false;
    sc->paramFile = target;
    populateComboBox();

    emit configSaved(target);
    return target;
}

QString ConfigWindow::saveConfig()
{