static String getMarkerToolTip(MarkerSetImpl marker, Address a, int x, int y) {
		String tip = marker.getTooltip(a, x, y);
		if (tip == null) {
			tip = marker.getName();
		}
		return tip;
	}
Buffers requests to repaint and notify of marker changes
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerManager.java