Bump the codemirror group across 1 directory with 2 updates

[dependabot[bot]]

Bumps the codemirror group with 2 updates in the / directory: @codemirror/view and @lezer/highlight.

Updates @codemirror/view from 6.30.0 to 6.32.0

Changelog

Sourced from @​codemirror/view's changelog.

6.32.0 (2024-08-12)

Bug fixes

Fix a bug where the editor could draw way too big a viewport when not managing its own scrollbar.

New features

The new gutterWidgetClass facet makes it possible to add a class to gutter elements next to widgets.

6.31.0 (2024-08-11)

Bug fixes

Avoid the editor's geometry measurements becoming incorrect when fonts finish loading by scheduling a measure on document.fonts.ready.

Avoid an issue where Chrome would incorrectly scroll the window when deleting lines in the editor.

Fix an issue where in some layouts editor content would be drawn on top of panel elements.

Fix an issue where coordsAtPos would return null when querying a position in a block widget.

New features

The new lineNumberWidgetMarker facet makes it possible to insert markers into the line number gutter for widgets.

Commits

• d7ac939 Mark version 6.32.0
• 4ce14c1 Export a gutterWidgetClass facet
• fa5cfc9 Fix huge viewports being computed for some document-scrollable editors
• 31f31e3 Mark version 6.31.0
• f40079c Make coordinate queries in block widgets work
• 228bab7 Make sure panels have a higher z-index than the editor
• 5d7dbe6 Export a lineNumberWidgetMarker facet
• 16d0534 Fix a typo in a doc comment
• 71ef755 Style cm-scroller with overflow-anchor: none to prevent some buggy Chrome scr...
• 0528516 Schedule an editor measure on document.fonts.ready
• See full diff in compare view

Updates @lezer/highlight from 1.2.0 to 1.2.1

Changelog

Sourced from @​lezer/highlight's changelog.

1.2.1 (2024-08-13)

Bug fixes

Give Tag objects an optional string name for debugging, and use it in their toString method.

Commits

• 95aa69e Mark version 1.2.1
• 92b0094 Make Tag.toString try a bit harder to return useful information
• 33dd3f5 Link parent tag from tags.contentSeparator docstring
• 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 ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore 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 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 ` 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 ` will remove all of the ignore conditions of the specified dependency - `@dependabot unignore ` will remove the ignore condition of the specified dependency and ignore conditions

[dependabot[bot]]

Superseded by #5752.