[Dependency] Bump @codemirror/view from 6.9.2 to 6.12.0 in /site

[dependabot]

Bumps @codemirror/view from 6.9.2 to 6.12.0.

Changelog

Sourced from @​codemirror/view's changelog.

6.12.0 (2023-05-18)

Bug fixes

Remove an accidentally included console.log.

New features

EditorViewConfig.dispatch is now passed the view object as a second argument.

6.11.3 (2023-05-17)

Bug fixes

Make sure pointer selection respects EditorView.atomicRanges.

Preserve DOM widgets when their decoration type changes but they otherwise stay in the same place.

Fix a bug in drawSelection that could lead to invisible or incorrect selections for a blank line below a block widget.

6.11.2 (2023-05-13)

Bug fixes

Fix a bug where the crosshairCursor extension could, when non-native key events were fired, trigger disruptive and needless view updates.

Fix an Android issue where backspacing at the front of a line with widget decorations could replace those decorations with their text content.

Respect scroll margins when scrolling the target of drag-selection into view.

Validate selection offsets reported by the browser, to work around Safari giving us invalid values in some cases.

6.11.1 (2023-05-09)

Bug fixes

Don't preserve the DOM around a composition that spans multiple lines.

6.11.0 (2023-05-03)

New features

Gutters now support a widgetMarker option that can be used to add markers next to block widgets.

6.10.1 (2023-05-01)

Bug fixes

Limit cursor height in front of custom placeholder DOM elements.

6.10.0 (2023-04-25)

... (truncated)

Commits

• 0db143b Mark version 6.12.0
• 39a5644 Remove debug statement
• ae3f952 Pass the view object to the dispatch option
• 5be081e Mark version 6.11.3
• 75944a7 Fix corner case around block widgets in DOM reader
• 6d32e34 Properly draw selection gap for a blank line below a widget
• efda638 Allow widget DOM to be reused between replace and widget decorations
• 772e5a5 Make mouse selection respect atomic ranges
• 5dc2e96 Mark version 6.11.2
• 00db062 Check whether selection offsets reported by the browser are valid
• Additional commits viewable 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 ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[dependabot]

The following labels could not be found: dependencies.

[dependabot]

Superseded by #1004.