private void highlightEdges(final Collection<DefaultWeightedEdge> edges) {
// Restore previous display settings for previously highlighted edges
if (null != previousEdgeHighlight)
for (final DefaultWeightedEdge edge : previousEdgeHighlight.keySet())
trackNode.setColor(edge, previousEdgeHighlight.get(edge));
// Store current color settings
previousEdgeHighlight = new HashMap<DefaultWeightedEdge, Color>();
for (final DefaultWeightedEdge edge : edges)
previousEdgeHighlight.put(edge, trackNode.getColor(edge));
// Change edge color
final Color highlightColor = (Color) displaySettings.get(KEY_HIGHLIGHT_COLOR);
for (final DefaultWeightedEdge edge : edges) trackNode.setColor(edge, highlightColor);
}
