@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);
   }
 }