6.7.0 (2024-04-30)

New features

The renderMessage function is now called with the editor view as first argument.

6.6.0 (2024-04-29)

New features

The new hideOn configuration option can be used to control in what circumstances lint tooltips get hidden by state changes.

6.5.0 (2024-01-30)

Bug fixes

Make lint mark decorations inclusive, so that they are applied even if the marked content is replaced by a widget decoration.

New features

linter can now be called with null as source to only provide a configuration.

markerFilter and tooltipFilter function now get passed the current editor state.

6.4.2 (2023-09-14)

Bug fixes

Make sure scrolling diagnostic into view in the panel works when the editor is scaled.

6.4.1 (2023-08-26)

Bug fixes

Fix a crash that could occur when a view was reconfigured in a way that removed the lint extension.

6.4.0 (2023-07-03)

New features

Diagnostics can now use "hint" as a severity level.

Diagnostics can now set a markClass property to add an additional CSS class to the text marked by the diagnostic.

6.3.0 (2023-06-23)

New features

A new previousDiagnostic command can be used to move back through the active diagnostics.

6.2.2 (2023-06-05)

Bug fixes

Make sure lint gutter tooltips are properly closed when the content of their line changes.

6.2.1 (2023-04-13)

Bug fixes

The linter function now eagerly includes all lint-related extensions, rather than appending them to the configuration as-needed, so that turning off linting by clearing the compartment that contains it works properly.