Function setVScrollValue

src/lib/editorManager.js:2669–2687

* Sets scrollbars value based on the editor's scroll position.

()

	 * Sets scrollbars value based on the editor's scroll position.
	 */
	function setVScrollValue() {
		if (preventScrollbarV) return;
		const scroller = editor?.scrollDOM;
		if (!scroller) return;
		const maxScroll = Math.max(
			scroller.scrollHeight - scroller.clientHeight,
			0,
		);
		if (maxScroll <= 0) {
			lastScrollTop = 0;
			$vScrollbar.value = 0;
			return;
		}
		const scrollTop = scroller.scrollTop;
		if (scrollTop === lastScrollTop) return;
		lastScrollTop = scrollTop;
		const factor = scrollTop / maxScroll;
		$vScrollbar.value = clamp01(factor);
	}

	/**
	 * Handles the scroll top event.