Function getScrollPosition

src/cm/editorUtils.ts:60–63

(view: EditorView)

 * Get scroll position from editor view
 */
export function getScrollPosition(view: EditorView): ScrollPosition {
	const { scrollTop, scrollLeft } = view.scrollDOM;
	return { scrollTop, scrollLeft };
}

/**
 * Set scroll position in CodeMirror editor view