EditRequest.replaceLine constructor
Convenience: create a full-line replacement.
Implementation
factory EditRequest.replaceLine(String filePath, int line, String newText) =>
EditRequest(
filePath: filePath,
startLine: line,
startColumn: 0,
endLine: line,
endColumn: 999999, // End of line.
newText: newText,
);