src/vs/workbench/contrib/markers/browser/markersTable.ts/MarkersTable/getSelection
class MarkersTable:	getSelection(): (MarkerTableItem | null)[] {
		const selection = this.table.getSelection();
		return selection.length > 0 ? [...selection.map(i => this.table.row(i))] : [];
	}