@Override
		public void mousePressed(MouseEvent e) {

			if (!checkModifiers(e)) {
				return;
			}

			if (e.getClickCount() != 2) {
				return;
			}

			if (!onVertex(e)) {
				return; // no vertex clicked, nothing to do
			}

			GraphViewer<V, E> viewer = getGraphViewer(e);
			VertexMouseInfo<V, E> info =
				GraphViewerUtils.convertMouseEventToVertexMouseEvent(viewer, e);
			vertexClickListener.ifPresent(l -> {

				if (l.vertexDoubleClicked(selectedVertex, info)) {
					e.consume();
				}
			});
		}
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