Method on_reset_pushButton_clicked

MiniZincIDE/configwindow.cpp:941–954

}

void ConfigWindow::on_reset_pushButton_clicked()
{
    auto sc = currentSolverConfig();
    if (!sc || !sc->isBuiltin) {
        return;
    }

    auto* newSc = new SolverConfiguration(sc->solverDefinition, true);
    int i = currentIndex();
    delete configs[i];
    configs.replace(i, newSc);
    updateGUI(true);
    populateComboBox();
}

ConfigWindow::StashItem::StashItem(SolverConfiguration* sc) :
    json(sc->toJSONObject()),