private void addBookmarks(Bookmark[] marks) {
		if (marks.length > 0) {
			int typeLen = "Type".length();
			int catLen = "Category".length();
			for (Bookmark mark : marks) {
				typeLen = Math.max(typeLen, mark.getType().getTypeString().length());
				catLen = Math.max(catLen, mark.getCategory().length());
			}
			addDisplayBookmark(null, typeLen, catLen);
			for (Bookmark mark : marks) {
				addDisplayBookmark(mark, typeLen, catLen);
			}
		}
		else {
			addText(indent2 + "No bookmarks." + newLine);
		}
	}
Adds multiple bookmarks to the details.
@param marks the bookmarks to add.
Ghidra/Features/Base/src/main/java/ghidra/program/util/ProgramDiffDetails.java