private void themeChanged(ThemeEvent e) {
		if (e instanceof ColorChangedThemeEvent) {
			markerSetCache.clearColors();
		}
	}
Buffers requests to repaint and notify of marker changes
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerManager.java