Function scrollCursorIntoView

src/lib/editorManager.js:2408–2435

* Scrolls the cursor into view if it is not currently visible.

(options = {})

	 * Scrolls the cursor into view if it is not currently visible.
	 */
	function scrollCursorIntoView(options = {}) {
		const view = editor;
		const scroller = view?.scrollDOM;
		if (!view || !scroller) return;

		const { behavior = "smooth" } = options;
		const { head } = view.state.selection.main;
		const caret = safeCoordsAtPos(view, head);
		if (!caret) return;

		const scrollerRect = scroller.getBoundingClientRect();
		const relativeTop = caret.top - scrollerRect.top + scroller.scrollTop;
		const relativeBottom = caret.bottom - scrollerRect.top + scroller.scrollTop;
		const topMargin = 16;
		const bottomMargin = 24;

		const scrollTop = scroller.scrollTop;
		const visibleTop = scrollTop + topMargin;
		const visibleBottom = scrollTop + scroller.clientHeight - bottomMargin;

		if (relativeTop < visibleTop) {
			const nextTop = Math.max(relativeTop - topMargin, 0);
			scroller.scrollTo({ top: nextTop, behavior });
		} else if (relativeBottom > visibleBottom) {
			const delta = relativeBottom - visibleBottom;
			scroller.scrollTo({ top: scrollTop + delta, behavior });
		}
	}

	function suppressCursorReveal(duration = 500) {
		suppressCursorRevealUntil = Date.now() + duration;