public void refresh(Address start, Address end) {
		if (start == null) {
			return;
		}
		if (end == null) {
			end = start;
		}
		int pixelStart = getPixelIndex(start);
		int pixelEnd = getPixelIndex(end);
		for (int i = pixelStart; i <= pixelEnd; i++) {
			if (i >= 0 & i < colors.length) {
				colors[i] = null;
			}
		}
		refreshUpdater.updateLater();
	}
Causes the component to refresh any colors for the given address range.

@param start the start of the address range to refresh.
@param end the end of the address range to refresh.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/overview/OverviewColorComponent.java