Method updateProfileSearchButton

MiniZincIDE/mainwindow.cpp:2963–2970

}

void MainWindow::updateProfileSearchButton()
{
    auto sc = getCurrentSolverConfig();
    ui->actionProfile_search->setDisabled(processRunning ||
                                          !curEditor ||
                                          !sc ||
                                          !sc->solverDefinition.stdFlags.contains("--cp-profiler"));
}

void MainWindow::on_progressOutput(float progress)
{