private void focusVertex(V vertex, EventSource source) {
			innerClassGraph.setVertexFocused(vertex, true);
			if (source == EventSource.INTERNAL) {
				// send the event out, as this vertex was focused by the API and not the user
				vertexFocusListener.ifPresent(l -> l.vertexFocused(vertex));
			}
		}
Sets the given vertex to be the focused vertex.  This will be the only focused vertex.

@param vertex the vertex
Ghidra/Framework/Graph/src/main/java/ghidra/graph/viewer/GraphComponent.java