Bump @codemirror/view from 6.13.2 to 6.20.2

[dependabot[bot]]

Bumps @codemirror/view from 6.13.2 to 6.20.2.

Changelog

Sourced from @​codemirror/view's changelog.

6.20.2 (2023-09-25)

Bug fixes

Fix an issue in the way the DOM selection is being read that could break backspacing of widgets on Android.

Fix a bug where the editor could incorrectly computate its transform scale when it was small.

6.20.1 (2023-09-22)

Bug fixes

Fix a crash in plugin event handlers after dynamic reconfiguration.

Fix an issue where, on Chrome, tooltips would no longer use fixed positioning.

6.20.0 (2023-09-20)

Bug fixes

Fix an issue that caused repositionTooltips to crash when it was called on an editor without tooltips.

Fix an issue that caused the tooltip system to leave empty nodes in the DOM when an editor using the parent option to tooltips is destroyed.

Fix a bug that regression mouse interaction with the area of a fixed-size editor that isn't covered by the content.

Fix some issues with the way moveVertically behaved for positions on line wrap points.

Fix a bug that could cause the document DOM to be incorrectly updated on some types of viewport changes.

New features

The new getDrawSelectionConfig function returns the drawSelection configuration for a given state.

6.19.0 (2023-09-14)

Bug fixes

Make sure the drop cursor is properly cleaned up even when another extension handles the drop event.

Fix a crash related to non-inclusive replacing block decorations.

New features

The new EditorView.domEventObservers (and the corresponding option to view plugins) allows you to register functions that are always called for an event, regardless of whether other handlers handled it.

6.18.1 (2023-09-11)

Bug fixes

... (truncated)

Commits

• d5b8c34 Mark version 6.20.2
• 9a91750 Make sure gutter properly realign when the editor scale changes
• fe8ca6d Protect against miscomputing an editor scale from a rounding difference
• 47ffaf9 Fix an issue in the way the DOMReader treats positions in opaque nodes
• 4112542 Mark version 6.20.1
• 0c40c05 Fix logic for detecting broken fixed positioning
• a484959 Make sure ensureHandlers is called after plugin init in updatePlugins
• bb36a97 Guard against divisions by zero when computing the editor scale
• 1b3d9ce Mark version 6.20.0
• 6a60a21 Fix a bug in DOM updates
• 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 show ignore conditions` will show all of the ignore conditions of the specified dependency - `@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)