169
return;
170
}
172
>
this._lineTokens[firstLineIndex] = ContiguousTokensEditing.deleteEnding(this._lineTokens[firstLineIndex], range.startColumn - 1);
173
>
174
>
const lastLineIndex = range.endLineNumber - 1;
175
>
let lastLineTokens: Uint32Array | ArrayBuffer | null = null;
176
>
if (lastLineIndex < this._len) {
177
>
lastLineTokens = ContiguousTokensEditing.deleteBeginning(this._lineTokens[lastLineIndex], range.endColumn - 1);
178
>
}
179
>
180
>
// Take remaining text on last line and append it to remaining text on first line
181
>
this._lineTokens[firstLineIndex] = ContiguousTokensEditing.append(this._lineTokens[firstLineIndex], lastLineTokens);
182
>
183
>
// Delete middle lines
184
>
this._deleteLines(range.startLineNumber, range.endLineNumber - range.startLineNumber);
185
}
186