@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);
}
/**
* This method is called to set the {@link SatelliteView}, this is needed to be able to run
* modifying actions.
*
* @param sat : The satellite viewer (<b>this should be unique in every workspace</b>)
*/
public void setSatellite(SatelliteView sat) {
satView = sat;
if (satView != null && handler != null) {
satView.add(handler.getSatelliteViewer());
}
}