This repository was archived by the owner on Apr 15, 2026. It is now read-only.
0.19.4
### Bug fixes Fix an issue where an outdated marker could stick around on the lint gutter after all diagnostics were removed. ### New features Add a `hoverTime` option to the lint gutter. Change default hover time to 300