Bump @codemirror/view from 6.2.3 to 6.4.1

[dependabot]

Bumps @codemirror/view from 6.2.3 to 6.4.1.

Changelog

Sourced from @​codemirror/view's changelog.

6.4.1 (2022-11-07)

Bug fixes

Fix an issue where coordinates next to replaced widgets were returned incorrectly, causing the cursor to be drawn in the wrong place.

Update the crosshairCursor state on every mousemove event.

Avoid an issue in the way that the editor enforces cursor associativity that could cause the cursor to get stuck on single-character wrapped lines.

6.4.0 (2022-10-18)

Bug fixes

Avoid an issue where scrollPastEnd makes a single-line editor have a vertical scrollbar.

Work around a Chrome bug where it inserts a newline when you press space at the start of a wrapped line.

Align rectangularSelection's behavior with other popular editors by making it create cursors at the end of lines that are too short to touch the rectangle.

Fix an issue where coordinates on mark decoration boundaries were sometimes taken from the wrong side of the position.

Prevent scrolling artifacts caused by attempts to scroll stuff into view when the editor isn't being displayed.

New features

TooltipView objects can now provide a destroy method to be called when the tooltip is removed.

6.3.1 (2022-10-10)

Bug fixes

Fix a crash when trying to scroll something into view in an editor that wasn't in the visible DOM.

Fix an issue where coordsAtPos returned the coordinates on the wrong side of a widget decoration wrapped in a mark decoration.

Fix an issue where content on long wrapped lines could fail to properly scroll into view.

Fix an issue where DOM change reading on Chrome Android could get confused when a transaction came in right after a beforeinput event for backspace, enter, or delete.

6.3.0 (2022-09-28)

Bug fixes

Reduce the amount of wrap-point jittering when scrolling through a very long wrapped line.

Fix an issue where scrolling to content that wasn't currently drawn due to being on a very long line would often fail to scroll to the right position.

Suppress double-space-adds-period behavior on Chrome Mac when it behaves weirdly next to widget.

... (truncated)

Commits

• e1b25c4 Mark version 6.4.1
• 079d26b Clear the height map when refreshing the height oracle
• 8c68a01 Avoid nondeterministic error when the resize observer fires synchronously dur...
• d88a2ae Don't enforce cursor assoc when native cursor is hidden anyway
• be1146a Avoid problems caused by cursor assoc on single-character lines
• 696e490 Don't initialize default direction to RTL
• 958b6be Update crossHairCursor on mousemove
• 592ce84 Remove accidentally committed debug statement
• d58bc87 Don't flatten coord rectangles for widgets with a length
• 3c7c4a3 Suppress TS warning in test
• 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]

Dependabot tried to update this pull request, but something went wrong. We're looking into it, but in the meantime you can retry the update by commenting @dependabot rebase.

[dependabot]

Dependabot tried to update this pull request, but something went wrong. We're looking into it, but in the meantime you can retry the update by commenting @dependabot rebase.

[dependabot]

Looks like @codemirror/view is up-to-date now, so this is no longer needed.