Method check_code

MiniZincIDE/mainwindow.cpp:2480–2491

}

void MainWindow::check_code()
{
    auto sc = getCurrentSolverConfig();
    if (!MznDriver::get().isValid() || !ui->actionRun->isEnabled() ||
            !curEditor || (!curEditor->filepath.isEmpty() && !curEditor->filepath.endsWith(".mzn")) ||
            !sc) {
        return;
    }
    auto contents = curEditor->document()->toPlainText();
    auto wd = QFileInfo(curEditor->filepath).absolutePath();
    code_checker->start(contents, *sc, wd);
}

void MainWindow::setTheme(const Theme& theme, bool dark)
{