public void setSatelliteDocked(boolean docked) {

		if (isSatelliteDocked() == docked) {
			return; // nothing to do
		}

		satelliteViewer.setDocked(docked);

		// when transitioning from docked to undocked, we show the satellite
		updateSatellite(docked, true);
	}
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