Function onscrollVend

src/lib/editorManager.js:2535–2540

* Handles the onscroll event for the vend element.

()

	 * Handles the onscroll event for the vend element.
	 */
	function onscrollVend() {
		suppressCursorReveal(1200);
		lockScrollbarScrollPosition({ top: editor?.scrollDOM?.scrollTop }, 1200);
		preventScrollbarV = false;
		setVScrollValue();
	}

	/**
	 * Sets the horizontal scroll value of the editor. This is called when the editor is scrolled vertically using the scrollbar.