This repository was archived by the owner on Apr 21, 2022. It is now read-only.

### Bug fixes

Make sure the gutter resizes whenever the editor geometry changes.