This repository was archived by the owner on Apr 15, 2026. It is now read-only.
0.19.5
### New features The new `EditorView.scrollTo` effect can be used to scroll a given range into view.
### New features The new `EditorView.scrollTo` effect can be used to scroll a given range into view.