This repository was archived by the owner on Apr 15, 2026. It is now read-only.
6.13.1
### Bug fixes Fix a bug where the cursor would in some circumstances be drawn on the wrong side of an inline widget. Fix an issue where `scrollPastEnd` could cause the scroll position of editors that weren't in view to be changed unnecessarily.