Group menu option select nodes

This commit is contained in:
Jairo Correa 2023-10-14 12:11:49 -03:00
parent c9bd982329
commit 241f5e66e4

View File

@ -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