Searched refs:addedTextElement (Results 1 – 1 of 1) sorted by relevance
554 TextElement addedTextElement = added.toTextElement(); in applyAddedDiffElement() local569 if (addedTextElement.isNewline()) { in applyAddedDiffElement()599 … nodeText.addElement(originalIndex, addedTextElement); // Defer originalIndex increment in applyAddedDiffElement()604 nodeText.addElement(originalIndex, addedTextElement); in applyAddedDiffElement()609 if (addedTextElement.isNewline()) { in applyAddedDiffElement()