Method ParamDialog

MiniZincIDE/paramdialog.cpp:23–28

#include <QScrollArea>

ParamDialog::ParamDialog(QWidget *parent) :
    QDialog(parent),
    ui(new Ui::ParamDialog)
{
    ui->setupUi(this);
}

int ParamDialog::getModel(const QStringList& modelFiles) {
    setWindowTitle("Select model to run");