public void dispose() {
		Gui.removeThemeListener(themeListener);
		updater.dispose();
		markerSetCache.clear();
		overviewProviders.forEach(provider -> provider.dispose());
	}
Buffers requests to repaint and notify of marker changes
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerManager.java