src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/onSelected
class MarkersView:	private onSelected(): void {
		const selection = this.widget.getSelection();
		if (selection && selection.length > 0) {
			this.lastSelectedRelativeTop = this.widget.getRelativeTop(selection[0]) || 0;
		}
	}