Method isEmptyProject

MiniZincIDE/mainwindow.cpp:2093–2105

}

bool MainWindow::isEmptyProject(void)
{
    if (getProject().hasProjectFile() || !getProject().files().empty()) {
        return false;
    }
    for (int i = 0; i < ui->tabWidget->count(); i++) {
        CodeEditor* ce = qobject_cast<CodeEditor*>(ui->tabWidget->widget(i));
        if (ce && (!ce->filepath.isEmpty() || ce->document()->isModified())) {
            return false;
        }
    }
    return true;
}

void MainWindow::openProject(const QString& fileName)
{