chore(deps): bump @codemirror/view from 6.0.0 to 6.12.0

[dependabot[bot]]

Bumps @codemirror/view from 6.0.0 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

You can trigger a rebase of this PR 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[bot]]

Superseded by #497.