/** * Appends a whole StyledDocument to the end of the current document, by adding all the elements * of the latter to the end of the former. * * @param doc The StyledDocument to add to the end of current document. */ public void append(StyledDocument doc) { if (doc != null) { for (int i = 0; i < doc.getLength(); i++) { elements.add((StyledElement) doc.getStyledElement(i)); } } }