This repository was archived by the owner on Apr 21, 2022. It is now read-only.
0.19.3
### Bug fixes Fix a CSS bug that caused gutters without an element on every line to not span the height of the editor (leading to issues with background color and pointer events).