Bump @codemirror/view from 6.13.2 to 6.20.0

[dependabot[bot]]

Bumps @codemirror/view from 6.13.2 to 6.20.0.

Changelog

Sourced from @​codemirror/view's changelog.

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

Fix an issue where the editor duplicated text when the browser moved content into the focused text node on composition.

Make sure widgetMarker is called for gutters on lines covered by a block replace decoration.

Fix an issue where the cursor could be shown in a position that doesn't allow a cursor when the selection is in a block widget.

6.18.0 (2023-09-05)

New features

The new EditorView.scaleX and scaleY properties return the CSS-transformed scale of the editor (or 1 when not scaled).

The editor now supports being scaled with CSS.

6.17.1 (2023-08-31)

... (truncated)

Commits

• 1b3d9ce Mark version 6.20.0
• 6a60a21 Fix a bug in DOM updates
• c0e108a Add getDrawSelectionConfig
• bdd2f10 Improve behavior of moveVertically on line wrap boundaries
• b34a927 Fix handling of mouse and drop events on the scroll element
• 110c3bd Clean up wrappers created for tooltips when the parent option is given
• 1d31434 Add another DOM event test
• dc7509a Fix crash in repositionTooltips when there are no tooltips
• ddeed9d Mark version 6.19.0
• e4edb7a Fix several bugs around the handling of non-inclusive replaced blocks
• 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)

[dependabot[bot]]

Superseded by #951.