private void updateLayeredPaneComponentsSizes(boolean force) {
		Dimension parentSize = mainPanel.getSize();
		primaryViewer.setBounds(0, 0, parentSize.width, parentSize.height);

		updateSatelliteBounds(parentSize, force);

		Dimension stalePanelSize = staleGraphViewPanel.getPreferredSize();
		int x = 0;
		int y = parentSize.height - stalePanelSize.height;
		staleGraphViewPanel.setBounds(x, y, stalePanelSize.width, stalePanelSize.height);

		Dimension buttonSize = showUndockedSatelliteButton.getPreferredSize();
		Point p = getSatellitePosition(parentSize, buttonSize);
		showUndockedSatelliteButton.setBounds(p.x, p.y, buttonSize.width, buttonSize.height);

		lastSize = new Dimension(parentSize.width, parentSize.height);
	}
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