Bump the codemirror group with 3 updates

[dependabot]

Bumps the codemirror group with 3 updates: @codemirror/lang-python, @codemirror/language and @codemirror/lint.

Updates @codemirror/lang-python from 6.1.3 to 6.1.4

Changelog

Sourced from @​codemirror/lang-python's changelog.

6.1.4 (2024-02-02)

Bug fixes

Explicitly declare dependencies on @​lezer/common and @​codemirror/state

Commits

• ce4804b Mark version 6.1.4
• 6676fd5 Declare missing dependencies
• See full diff in compare view

Updates @codemirror/language from 6.10.0 to 6.10.1

Changelog

Sourced from @​codemirror/language's changelog.

6.10.1 (2024-02-02)

Bug fixes

Fix an issue where, when a lot of code is visible in the initial editor, the bottom bit of code is shown without highlighting for one frame.

Commits

• 3c9ad8f Mark version 6.10.1
• 48d2f7f Remove highlight flickering on init
• ade6caa Avoid unnecessary first pass in bidiIsolates
• See full diff in compare view

Updates @codemirror/lint from 6.4.2 to 6.5.0

Changelog

Sourced from @​codemirror/lint's changelog.

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.

Commits

• ed7e403 Mark version 6.5.0
• fe6bc58 Pass the editor state to diagnostics filters
• 79db0c9 Allow linter() to be called without a source
• 88ba8ef Make lint decorations inclusive
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions