src/vs/base/browser/ui/list/listPaging.ts/PagedList/onDidChangeSelection
class PagedList:	get onDidChangeSelection(): Event<IListEvent<T>> {
		return Event.map(this.list.onDidChangeSelection, ({ elements, indexes, browserEvent }) => ({ elements: elements.map(e => this._model.get(e)), indexes, browserEvent }));
	}