extensions/markdown-language-features/src/util/topmostLineMonitor.ts/TopmostLineMonitor/getPreviousTextEditorLineByUri
class TopmostLineMonitor:	public getPreviousTextEditorLineByUri(resource: vscode.Uri): number | undefined {
		const scrollLoc = this.previousTextEditorInfo.get(resource.toString());
		this.previousTextEditorInfo.delete(resource.toString());
		return scrollLoc?.line;
	}