804805806807808809810811812813814
if (index + 1 < data.length() && data.charAt(index + 1) == '\r') { ++index; } text.replaceData(index + 1, data.length() - index - 1, indent + " "); // setCorrectIndentation(indent, newText); if (referenceChild != null) { indent.append(" ");