@codemirror/lint - npm Package Versions

0.20.0 (2022-04-20)

Breaking changes

Update dependencies to 0.20.0

0.19.6 (2022-03-04)

Bug fixes

Fix a bug where hovering over the icons in the lint gutter would sometimes fail to show a tooltip or show the tooltip for another line.

0.19.5 (2022-02-25)

Bug fixes

Make sure the lint gutter tooltips are positioned under their icon, even when the line is wrapped.

0.19.4 (2022-02-25)

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

0.19.3 (2021-11-09)

New features

Export a function lintGutter which returns an extension that installs a gutter marking lines with diagnostics.

The package now exports the effect used to update the diagnostics (setDiagnosticsEffect).

0.19.2 (2021-09-29)

Bug fixes

Fix a bug where reconfiguring the lint source didn't restart linting.

0.19.1 (2021-09-17)

Bug fixes

Prevent decorations that cover just a line break from being invisible by showing a widget instead of range for them.

New features

The diagnosticCount method can now be used to determine whether there are active diagnostics.

0.19.0 (2021-08-11)

Breaking changes

Update dependencies to 0.19.0

0.18.6 (2021-08-08)

Bug fixes

Fix a crash in the key handler of the lint panel when no diagnostics are available.

0.18.5 (2021-08-07)

Bug fixes

Fix an issue that caused openLintPanel to not actually open the panel when ran before the editor had any lint state loaded.

New features

The package now exports a forceLinting function that forces pending lint queries to run immediately.