This repository was archived by the owner on Apr 15, 2026. It is now read-only.
6.2.2
### Bug fixes Make sure lint gutter tooltips are properly closed when the content of their line changes.
### Bug fixes Make sure lint gutter tooltips are properly closed when the content of their line changes.