replaceDocumentTextRange function
TextDocumentEditResult
replaceDocumentTextRange(
- TextDocument document, {
- required int start,
- required int end,
- String replacement = '',
- int? cursorOffset,
Implementation
TextDocumentEditResult replaceDocumentTextRange(
TextDocument document, {
required int start,
required int end,
String replacement = '',
int? cursorOffset,
}) {
final change = document.replaceTextRange(
startOffset: start,
endOffset: end,
replacement: replacement,
);
return TextDocumentEditResult(
change: change,
cursorOffset: (cursorOffset ?? change.newEndOffset).clamp(
0,
document.length,
),
);
}