| 942 | } |
| 943 | |
| 944 | void PreferencesDialog::updateSolverLabel() |
| 945 | { |
| 946 | if (!_solversPopulated || _editingSolverIndex == -1) { |
| 947 | return; |
| 948 | } |
| 949 | auto name = ui->name->text().isEmpty() ? "Untitled Solver" : ui->name->text(); |
| 950 | ui->solvers_combo->setItemText(_editingSolverIndex, name + " " + ui->version->text()); |
| 951 | } |
| 952 | |
| 953 | |
| 954 | void PreferencesDialog::on_darkMode_checkBox_stateChanged(int checked) |
nothing calls this directly
no outgoing calls
no test coverage detected