@Override
		public void verticesPicked(Set<V> vertices, EventSource source) {

			if (vertices.size() == 0) {
				innerClassGraph.clearSelectedVertices();
			}
			else if (vertices.size() == 1) {
				focusVertex(CollectionUtils.any(vertices), source);
			}
			else {
				innerClassGraph.setSelectedVertices(vertices);
			}

			getPathHighlighter().setFocusedVertex(graph.getFocusedVertex());
		}
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