src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/updateRangeHighlights
class MarkersView:	private updateRangeHighlights() {
		this.rangeHighlightDecorations.removeHighlightRange();
		if (this.widget.getHTMLElement() === document.activeElement) {
			this.highlightCurrentSelectedMarkerRange();
		}
	}