void paintNavigation(Program program, Graphics g, NavigationPanel panel,
			AddressIndexMap addrMap) {
		if (addrMap == null) {
			return;
		}

		MarkerSetCacheEntry entry = markerSetCache.get(program);
		if (entry == null) {
			return;
		}
		entry.paintNavigation(g, panel.getViewHeight(), panel.getWidth(), addrMap);
	}
Buffers requests to repaint and notify of marker changes
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerManager.java