@Override
	public MarkerMarginProvider createMarginProvider() {
		MarkerMarginProvider provider = new MarkerMarginProvider(this);
		marginProviders.add(provider);
		return provider;
	}
Buffers requests to repaint and notify of marker changes
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerManager.java