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