@Override
	protected void doPaintNavigation(Graphics g, int height, int width, SortedRangeList rangeList) {

		if (rangeList == null) {
			return;
		}

		g.setColor(markerColor);
		for (Range range : rangeList) {
			int startY = range.min;
			int endY = range.max;
			int len = endY - startY;
			if (len < MARKER_HEIGHT) {
				len = MARKER_HEIGHT;
			}

			g.fillRect(MARKER_WIDTH_OFFSET, startY, width - MARKER_WIDTH_OFFSET, len);
		}
	}
@param markerManager manager for these area markers
@param name the name for this area marker
@param desc the description associated with this area marker
@param priority to sort out what displays on top, higher is more likely to be on top
@param showMarkers true indicates to show area markers (on the left side of the browser.)
@param showNavigation true indicates to show area navigation markers (on the right side of the browser.)
@param colorBackground the color of marked areas in navigation bar
             If color is null, no results are displayed in the associated marker bar.
@param markerColor the color for the marker
@param program the program to which the markers apply
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/AreaMarkerSet.java