Add params on activation of extra param dialog items

MiniZinc · Jun 6, 2023 · c69e7ea · c69e7ea
1 parent 43a0655
commit c69e7ea
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/MiniZincIDE/extraparamdialog.cpp b/MiniZincIDE/extraparamdialog.cpp
@@ -120,3 +120,9 @@ void ExtraParamDialog::mouseReleaseEvent(QMouseEvent* event)
     // Hack which stops the menu from closing when clicking on the widget empty space
     event->accept();
 }
+
+void ExtraParamDialog::on_params_listView_activated(const QModelIndex &index)
+{
+    on_add_pushButton_clicked();
+}
+
diff --git a/MiniZincIDE/extraparamdialog.h b/MiniZincIDE/extraparamdialog.h
@@ -45,6 +45,8 @@ private slots:
 
     void resetControls();
 
+    void on_params_listView_activated(const QModelIndex &index);
+
 private:
     Ui::ExtraParamDialog* ui;
     QStandardItemModel* _sourceModel;