public void nodeOrEdgeSelectionChanged() {
final String[] edges = new String[graph.getSelectedEdges().size()];
final String[] nodes = new String[graph.getSelectedShapes().size()];
int i = 0;
for (final VEdge vedge : graph.getSelectedEdges()) {
edges[i] = vedge.toString();
++i;
}
i = 0;
for (final VNode vnode : graph.getSelectedShapes()) {
nodes[i] = vnode.toString();
++i;
}
client.updateVariable(paintableId, "selectedEdges", edges, false);
client.updateVariable(paintableId, "selectedNodes", nodes, true);
}
