489490491492493494495496497498499
GSSElementGraphNode selectedNode = (GSSElementGraphNode) ((Graph) e.widget) .getSelection().get(i); selectedNode.highlight(); selectedNode.mark(); selectedNode.markChildren(); selectedNode.markParents(); } } }); }