Method findConfigFile

MiniZincIDE/configwindow.cpp:197–211

}

int ConfigWindow::findConfigFile(const QString &file)
{
    if (file.isEmpty()) {
        // Unsaved configuration
        return -1;
    }
    int i = 0;
    for (auto sc : configs) {
        if (sc->paramFile == file) {
            return i;
        }
        i++;
    }
    return -1;
}

void ConfigWindow::stashModifiedConfigs()
{