src/vs/workbench/contrib/markers/browser/markersTreeViewer.ts/MarkersViewModel/onMarkerMouseLeave
class MarkersViewModel:	onMarkerMouseLeave(marker: Marker): void {
		if (this.hoveredMarker === marker) {
			this.hoveredMarker = null;
		}
	}