MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / ExtraParamDialog

Method ExtraParamDialog

MiniZincIDE/extraparamdialog.cpp:6–20  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

4#include <QMouseEvent>
5
6ExtraParamDialog::ExtraParamDialog(QWidget* parent) :
7 QWidget(parent),
8 ui(new Ui::ExtraParamDialog)
9{
10 ui->setupUi(this);
11 _sourceModel = new QStandardItemModel(this);
12 _filterModel = new QSortFilterProxyModel(this);
13 _filterModel->setFilterCaseSensitivity(Qt::CaseInsensitive);
14 _filterModel->setSourceModel(_sourceModel);
15 _filterModel->setFilterKeyColumn(1);
16 ui->params_listView->setModel(_filterModel);
17
18 connect(ui->params_listView->selectionModel(), &QItemSelectionModel::selectionChanged,
19 this, &ExtraParamDialog::on_selectionChanged);
20}
21
22ExtraParamDialog::~ExtraParamDialog()
23{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected