export function getLines(contents: string, range?: number[]) { if (!range) { return ''; } const lines = contents.split('\n'); const editableLines = range[1] <= range[0] ? [] : lines.slice(range[0], range[1] - 1); return editableLines.join('\n'); }