Function restoreFileScrollPosition

src/lib/editorManager.js:1602–1645

(file)

	}

	function restoreFileScrollPosition(file) {
		cancelPendingScrollRestore();
		if (!file || file.type !== "editor") return;
		const hasTop = typeof file.lastScrollTop === "number";
		const hasLeft = typeof file.lastScrollLeft === "number";
		if (!hasTop && !hasLeft) return;

		const fileId = file.id;
		const top = hasTop ? file.lastScrollTop : undefined;
		const left = hasLeft ? file.lastScrollLeft : undefined;

		const apply = () => {
			if (manager.activeFile?.id !== fileId) return;
			suppressCursorReveal(450);
			setScrollPosition(editor, top, left);

			const scroller = editor?.scrollDOM;
			if (scroller) {
				if (hasTop) lastScrollTop = scroller.scrollTop;
				if (hasLeft) lastScrollLeft = scroller.scrollLeft;
				lockScrollbarScrollPosition(
					{
						top: hasTop ? scroller.scrollTop : undefined,
						left: hasLeft ? scroller.scrollLeft : undefined,
					},
					450,
				);
			}
		};

		apply();
		scrollRestoreFrame = requestAnimationFrame(() => {
			scrollRestoreFrame = 0;
			apply();
			scrollRestoreNestedFrame = requestAnimationFrame(() => {
				scrollRestoreNestedFrame = 0;
				apply();
			});
		});
		scrollRestoreTimeout = setTimeout(() => {
			scrollRestoreTimeout = 0;
			apply();
		}, 120);
	}

	function cancelPendingScrollRestore() {
		if (scrollRestoreFrame) {