From a7b65b9505b0504fefc7b57a5e80a243bd6630cf Mon Sep 17 00:00:00 2001
From: Jairo Correa <jn.j41r0@gmail.com>
Date: Sat, 14 Oct 2023 12:11:49 -0300
Subject: [PATCH] Group menu option select nodes

---
 web/extensions/core/groupOptions.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/web/extensions/core/groupOptions.js b/web/extensions/core/groupOptions.js
index 1d935e90..d523737d 100644
--- a/web/extensions/core/groupOptions.js
+++ b/web/extensions/core/groupOptions.js
@@ -38,6 +38,15 @@ app.registerExtension({
                 }
             }
 
+            options.push({
+                content: "Select Nodes",
+                callback: () => {
+                    this.selectNodes(nodesInGroup);
+                    this.graph.change();
+                    this.canvas.focus();
+                }
+            });
+
             // Modes
             // 0: Always
             // 1: On Event