void updateMarkerSets(Program program, boolean updateMarkers, boolean updateNavigation,
			boolean updateNow) {

		MarkerSetCacheEntry entry = markerSetCache.get(program);
		if (entry == null) {
			return;
		}
		entry.updateView(updateMarkers, updateNavigation);

		if (updateNow) {
			updater.updateNow();
		}
		else {
			updater.update();
		}
	}
Call to signal that the markers for a given program have changed in some way, such as being
removed, changing colors or the active state being changed

@param p the program associated with the markers
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerManager.java