@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 clearResults() {
recolour(graph.getVertices());
}
