Skip to content
This repository was archived by the owner on Apr 15, 2026. It is now read-only.

0.18.4

@marijnh marijnh tagged this 07 Jun 10:18
### Bug fixes

Multiple `linter` extensions can now be added to an editor without disrupting each other.

Fix poor layout on lint tooltips due to changes in @codemirror/tooltip.
Assets 2
Loading