Method addExtraParam

MiniZincIDE/configwindow.cpp:591–626

}

void ConfigWindow::addExtraParam(const SolverFlag& f, const QVariant& value)
{
    int i = ui->extraParams_tableWidget->rowCount();
    ui->extraParams_tableWidget->insertRow(i);

    auto keyItem = new QTableWidgetItem(f.description);
    keyItem->setFlags(Qt::ItemIsSelectable | Qt::ItemIsEnabled);
    keyItem->setData(Qt::UserRole, QVariant::fromValue(f));
    keyItem->setToolTip(f.name);

    auto flagTypeItem = new QTableWidgetItem;
    flagTypeItem->setFlags(Qt::ItemIsSelectable | Qt::ItemIsEnabled);

    auto typeItem = new QTableWidgetItem;
    typeItem->setFlags(Qt::ItemIsSelectable | Qt::ItemIsEnabled);

    auto valueItem = new QTableWidgetItem;
    valueItem->setData(Qt::UserRole, QVariant::fromValue(f));
    if (value.isNull()) {
        valueItem->setData(Qt::DisplayRole, f.def);
    } else {
        valueItem->setData(Qt::DisplayRole, value);
    }
    if (f.t == SolverFlag::T_BOOL && f.def.toBool()) {
        // Non switched booleans which are default true cannot be turned off
        // TODO: Maybe this should send the flag when different to default?
        valueItem->setFlags(Qt::ItemIsSelectable | Qt::ItemIsEnabled);
    }

    ui->extraParams_tableWidget->setItem(i, 0, keyItem);
    ui->extraParams_tableWidget->setItem(i, 1, flagTypeItem);
    ui->extraParams_tableWidget->setItem(i, 2, typeItem);
    ui->extraParams_tableWidget->setItem(i, 3, valueItem);

    invalidate(false);
}

void ConfigWindow::addExtraParam(const QString& key, bool backend, const QVariant& value)
{