Method on_tabWidget_currentChanged

MiniZincIDE/preferencesdialog.cpp:852–863

}

void PreferencesDialog::on_tabWidget_currentChanged(int index)
{
    updateSearchPaths();
    if (index == 1 && !_solversPopulated) {
        populateSolvers();
        on_solvers_combo_currentIndexChanged(0);
    }
    // Cannot change out of solver tab if changes invalid
    if (index != 1 && !updateSolver()) {
        ui->tabWidget->setCurrentIndex(1);
    }
}


void PreferencesDialog::accept()