Function handleEditorScroll

src/lib/editorManager.js:2301–2319

()

		}

		function handleEditorScroll() {
			if (!scroller) return;
			if (restoreScrollbarScrollLock()) return;
			if (!isScrolling) {
				isScrolling = true;
				if (hasHoverTooltips(editor.state)) {
					editor.dispatch({ effects: closeHoverTooltips });
				}
				touchSelectionController?.onScrollStart();
			}
			if (!scrollSyncRaf) {
				scrollSyncRaf = requestAnimationFrame(syncScrollUi);
			}
			clearTimeout(scrollTimeout);
			scrollTimeout = setTimeout(() => {
				isScrolling = false;
				touchSelectionController?.onScrollEnd();
			}, 100);
		}

		scroller?.addEventListener("scroll", handleEditorScroll, { passive: true });
		scroller?.addEventListener("pointerdown", clearScrollbarScrollLock, {