@Override
	public void mouseClicked(MouseEvent e) {
		if (!checkModifiers(e) || !isHandlingMouseEvents) {
			return;
		}

		isHandlingMouseEvents = false;

		GraphViewer<V, E> viewer = getGraphViewer(e);
		VisualGraphViewUpdater<V, E> updater = viewer.getViewUpdater();
		updater.moveVertexToCenterWithAnimation(vertex);
		e.consume();
		vertex = null;
	}
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