Function safeCoordsAtPos

src/lib/editorManager.js:2505–2511

(view, pos)

	}

	function safeCoordsAtPos(view, pos) {
		try {
			return view.coordsAtPos(pos);
		} catch (_) {
			return null;
		}
	}

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