extensions/markdown-language-features/preview-src/activeLineMarker.ts/ActiveLineMarker/onDidChangeTextEditorSelection
class ActiveLineMarker:	onDidChangeTextEditorSelection(line: number, documentVersion: number) {
		const { previous } = getElementsForSourceLine(line, documentVersion);
		this._update(previous && previous.element);
	}