| 2706 | } |
| 2707 | |
| 2708 | bool MainWindow::requireMiniZinc() |
| 2709 | { |
| 2710 | if (!MznDriver::get().isValid()) { |
| 2711 | int ret = QMessageBox::warning(this, |
| 2712 | "MiniZinc IDE", |
| 2713 | "Could not find the minizinc executable.\nDo you want to open the solver settings dialog?", |
| 2714 | QMessageBox::Ok | QMessageBox::Cancel); |
| 2715 | if (ret == QMessageBox::Ok) { |
| 2716 | on_actionManage_solvers_triggered(); |
| 2717 | } |
| 2718 | return false; |
| 2719 | } |
| 2720 | return true; |
| 2721 | } |
| 2722 | |
| 2723 | void MainWindow::on_moocChanged(const MOOCAssignment* mooc) |
| 2724 | { |