@Override
	public void mousePressed(MouseEvent e) {
		if (e.getClickCount() != 2) {
			return;
		}

		super.mousePressed(e);

		if (vertex == null) {
			return; // no vertex clicked, nothing to do
		}

		isHandlingMouseEvents = true;
	}
A mouse handler to center a vertex when the header is double-clicked

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