Method on_selectionChanged

MiniZincIDE/extraparamdialog.cpp:56–60

}

void ExtraParamDialog::on_selectionChanged(const QItemSelection& selected, const QItemSelection& deselected) {
    // The selected argument is wrong for some reason, so just check the selected indexes manually
    bool hasSelection = ui->params_listView->selectionModel()->selectedIndexes().empty();
    ui->add_pushButton->setDisabled(hasSelection);
}

void ExtraParamDialog::showEvent(QShowEvent* event) {
    QWidget::showEvent(event);