src/vs/editor/common/viewModel/viewModelLines.ts/ViewModelLinesFromModelAsIs/onModelLinesDeleted
class ViewModelLinesFromModelAsIs:	public onModelLinesDeleted(_versionId: number | null, fromLineNumber: number, toLineNumber: number): viewEvents.ViewLinesDeletedEvent | null {
		return new viewEvents.ViewLinesDeletedEvent(fromLineNumber, toLineNumber);
	}