@Override
	protected void dispose() {
		if (codeViewerService != null) {
			codeViewerService.removeMarginProvider(markerManager.getMarginProvider());
			codeViewerService.removeOverviewProvider(markerManager.getOverviewProvider());
		}
		markerManager.dispose();
	}
Plugin to manage marker and navigation panels.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerManagerPlugin.java