protected void insertHTMLString(StringBuilder buffer, String string, GAttributes attributes) {

		if (string == null) {
			return;
		}

		buffer.append(attributes.toStyledHtml(string));
	}
Adds text to a string buffer as an html-formatted string, adding formatting information
as specified.
@param buffer the string buffer to add to
@param string the string to add
@param attributes the formatting instructions
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/dialog/AbstractDetailsPanel.java