Function lockScrollbarScrollPosition

src/lib/editorManager.js:2445–2451

({ top, left }, duration = 1200)

	}

	function lockScrollbarScrollPosition({ top, left }, duration = 1200) {
		const scroller = editor?.scrollDOM;
		if (!scroller) return;
		scrollbarScrollLockUntil = Date.now() + duration;
		if (typeof top === "number") scrollbarScrollLockTop = top;
		if (typeof left === "number") scrollbarScrollLockLeft = left;
	}

	function clearScrollbarScrollLock() {
		scrollbarScrollLockUntil = 0;