This repository was archived by the owner on Apr 21, 2022. It is now read-only.
0.17.2
### New features Pass the editor state to the `formatNumber` option to `lineNumbers` and make sure widgets get updated when their string changes.