src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/highlightCurrentSelectedMarkerRange
class MarkersView:	private highlightCurrentSelectedMarkerRange() {
		const selections = this.widget.getSelection() ?? [];

		if (selections.length !== 1) {
			return;
		}

		const selection = selections[0];

		if (!(selection instanceof Marker)) {
			return;
		}

		this.rangeHighlightDecorations.highlightRange(selection);
	}