@Override
			public void mouseClicked(MouseEvent e) {
				MarkerClickedListener markerClickedListener =
					markerManager.getMarkerClickedListener();
				if (e.getClickCount() != 2 || markerClickedListener == null) {
					return;
				}
				MarkerLocation location = getMarkerLocation(e.getX(), e.getY());
				markerClickedListener.markerDoubleClicked(location);
			}
The provider which renders the marker margin, usually placed to the left of listing
{@link FieldPanel}s.

<p>
These are managed by a {@link MarkerManager}. Obtain one via
{@link MarkerService#createMarginProvider()}.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerMarginProvider.java