src/vs/editor/contrib/gotoError/markerNavigationService.ts/MarkerList/selected
class MarkerList:	get selected(): MarkerCoordinate | undefined {
		const marker = this._markers[this._nextIdx];
		return marker && new MarkerCoordinate(marker, this._nextIdx + 1, this._markers.length);
	}