void (char[] text, TextAttributes attributes) { int startOffset = myBuffer.length(); myBuffer.append(text); if (attributes != null) { myHighlightedRegions.add(new HighlightedRegion(startOffset, myBuffer.length(), attributes)); } }