@Override
public void elemChosen(NodeDescriptor element) {
CustomVisualizationViewer visualisator = handler.getVisualizator();
visualisator.jumpToPlace(visualisator.getGraphLayout().transform(element));
for (NodeDescriptor node : graph.getVertices()) {
node.setNodeColour(NodeColours.NOT_RESULT_COLOUR);
}
element.setNodeColour(NodeColours.RESULT_COLOUR);
}
@Override
public void addResults(Collection<NodeDescriptor> results) {
for (NodeDescriptor node : results) {
node.setNodeColour(NodeColours.RESULT_COLOUR);
}
}