extensions/markdown-language-features/src/features/preview.ts/scrollEditorToLine
export function scrollEditorToLine(
	line: number,
	editor: vscode.TextEditor
) {
	const sourceLine = Math.floor(line);
	const fraction = line - sourceLine;
	const text = editor.document.lineAt(sourceLine).text;
	const start = Math.floor(fraction * text.length);
	editor.revealRange(
		new vscode.Range(sourceLine, start, sourceLine + 1, 0),
		vscode.TextEditorRevealType.AtTop);
}