private String getMarkedByTooltip() {
StringBuilder buffer = new StringBuilder();
Marker[] markers = mProgram.getMarkerArr();
for (int i = markers.length - 1; i >= 0; i--) {
Marker marker = markers[i];
String text = "";
PluginAccess plugin = Plugin.getPluginManager()
.getActivatedPluginForId(marker.getId());
if (plugin != null) {
text = plugin.getInfo().getName();
} else {
InternalPluginProxyIf internalPlugin = InternalPluginProxyList
.getInstance().getProxyForId(marker.getId());
if (internalPlugin != null) {
text = internalPlugin.getName();
if (internalPlugin.equals(FavoritesPluginProxy.getInstance())) {
// if this is a favorite, add the names of the favorite
String favTitles = "";