345346347348349350351352353354355
// control was pressed & hold if (graph.getSelection().contains(node)) { // remove selected node graph.deselectNode(node, false); } else { // add selected node graph.selectNode(node, false); } } else if (graph.getSelection().contains(node)) {
352353354355356357358359360361362
// add selected node graph.selectNode(node, false); } } else if (graph.getSelection().contains(node)) { // clear selection graph.deselectNode(node, true); } else { // add selected node graph.selectNode(node, true); }