private void addDisplayBookmark(Bookmark mark, int typeLength, int catLength) {
		String separatorSpaces = getSpaces(2);
		addText(indent2);
		if (mark == null) {
			underline("Type");
			addText(getSpaces(typeLength - "Type".length()));
			addText(separatorSpaces);
			underline("Category");
			addText(getSpaces(catLength - "Category".length()));
			addText(separatorSpaces);
			underline("Comment");
		}
		else {
			String type = mark.getType().getTypeString();
			String category = mark.getCategory();
			String comment = mark.getComment();
			addColorText(type);
			addText(getSpaces(typeLength - type.length()));
			addText(separatorSpaces);
			addColorText(category);
			addText(getSpaces(catLength - category.length()));
			addText(separatorSpaces);
			addColorText(comment);
		}
		addText(newLine);
	}
Adds multiple bookmarks to the details.
@param marks the bookmarks to add.
Ghidra/Features/Base/src/main/java/ghidra/program/util/ProgramDiffDetails.java