src/vs/base/browser/ui/table/tableWidget.ts/Table/splice
class Table:	splice(start: number, deleteCount: number, elements: readonly TRow[] = []): void {
		this.list.splice(start, deleteCount, elements);
	}