| 2052 | } |
| 2053 | |
| 2054 | void MainWindow::checkDriver() { |
| 2055 | auto& driver = MznDriver::get(); |
| 2056 | bool haveMzn = (driver.isValid() && driver.solvers().size() > 0); |
| 2057 | ui->actionRun->setEnabled(haveMzn); |
| 2058 | ui->actionProfile_compilation->setEnabled(haveMzn); |
| 2059 | ui->actionCompile->setEnabled(haveMzn); |
| 2060 | ui->actionEditSolverConfig->setEnabled(haveMzn); |
| 2061 | ui->actionSubmit_to_MOOC->setEnabled(haveMzn); |
| 2062 | if (!haveMzn) |
| 2063 | ui->configWindow_dockWidget->hide(); |
| 2064 | } |
| 2065 | |
| 2066 | void MainWindow::on_actionShift_left_triggered() |
| 2067 | { |