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