private void updateMouseHoversForVertex(GraphViewer<V, E> viewer, V newHoveredVertex) {
		VisualGraphViewUpdater<V, E> updater = getViewUpdater(viewer);
		updater.stopEdgeHoverAnimation();
		setHovered(hoveredVertex, false);
		hoveredVertex = newHoveredVertex;
		setHovered(hoveredVertex, true);

		setupHoverEdgesForVertex(newHoveredVertex);
	}
A mouse plugin to handle vertex hovers, to include animating paths in the graph, based 
upon the current {@link PathHighlightMode}.

@param <V> the vertex type
@param <E> the edge type
Ghidra/Framework/Graph/src/main/java/ghidra/graph/viewer/event/mouse/VisualGraphHoverMousePlugin.java