public int getViewHeight() {
		return getHeight() - MarkerSetImpl.MARKER_HEIGHT;
	}
@see javax.swing.JComponent#paintComponent(Graphics)
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/NavigationPanel.java