getLineText method
Gets the text content of a specific line.
lineIndex is zero-based (0 for the first line).
Returns the text of the line without the newline character.
Implementation
String getLineText(int lineIndex) {
if (_bufferLineIndex != null &&
lineIndex == _bufferLineIndex &&
_bufferDirty) {
return _bufferLineText!;
}
return _rope.getLineText(lineIndex);
}