@Override
	protected void paintComponent(Graphics g) {
		super.paintComponent(g);
		paintNavigation(g);
	}
@see javax.swing.JComponent#paintComponent(Graphics)
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/NavigationPanel.java