build(deps): bump @codemirror/view from 6.0.0 to 6.4.0 in /web/ui

[dependabot]

Bumps @codemirror/view from 6.0.0 to 6.4.0.

Changelog

Sourced from @​codemirror/view's changelog.

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.

New features

Key binding objects with an any property will now add handlers that are called for any key, within the ordering of the keybindings.

6.2.5 (2022-09-24)

Bug fixes

Don't override double/triple tap behavior on touch screen devices, so that the mobile selection menu pops up properly.

... (truncated)

Commits

• 27a2da1 Mark version 6.4.0
• 49c4651 Don't scroll the editor when it has no height
• 7555118 Overhaul coordsInChildren again
• 259c165 Make rectangular selection create cursors at end of line if the line is too s...
• b6b784d Add destroy method to TooltipView
• 96f885b Detect and suppress extra newline inserted when pressing space on wrapped lin...
• 9520980 Make scrollPastEnd account for top content padding
• 3aa96d9 Mark version 6.3.1
• 2c6c017 Force-finish delayed android key reads when another transaction comes in
• 3ca0783 Split DOM changes reading from applying
• 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]

Superseded by #38.