Method ~MainWindow

MiniZincIDE/mainwindow.cpp:340–353

}

MainWindow::~MainWindow()
{
    delete code_checker;
    delete server;
    for (int i=0; i<cleanupTmpDirs.size(); i++) {
        delete cleanupTmpDirs[i];
    }
    for (int i=0; i<cleanupProcesses.size(); i++) {
        cleanupProcesses[i]->terminate();
        delete cleanupProcesses[i];
    }
    delete project;
    delete ui;
}

void MainWindow::on_actionNewModel_file_triggered()
{