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

[dependabot]

Bumps @codemirror/view from 6.0.0 to 6.2.4.

Changelog

Sourced from @​codemirror/view's changelog.

6.2.4 (2022-09-16)

Bug fixes

Highlight the active line even when there is a selection. Prevent the active line background from obscuring the selection backdrop.

Fix an issue where elements with negative margins would confuse the editor's scrolling-into-view logic.

Fix scrolling to a specific position in an editor that has not been in view yet.

6.2.3 (2022-09-08)

Bug fixes

Fix a bug where cursor motion, when starting from a non-empty selection range, could get stuck on atomic ranges in some circumstances.

Avoid triggering Chrome Android's text-duplication issue when a period is typed in the middle of a word.

6.2.2 (2022-08-31)

Bug fixes

Don't reset the selection for selection change events that were suppressed by a node view.

6.2.1 (2022-08-25)

Bug fixes

Don't use the global document variable to track focus, since that doesn't work in another window/frame.

Fix an issue where key handlers that didn't return true were sometimes called twice for the same keypress.

Avoid editing glitches when using deletion keys like ctrl-d on iOS.

Properly treat characters from the 'Arabic Presentation Forms-A' Unicode block as right-to-left.

Work around a Firefox bug that inserts text at the wrong point for specific cross-line selections.

6.2.0 (2022-08-05)

Bug fixes

Fix a bug where posAtCoords would return the wrong results for positions to the right of wrapped lines.

New features

The new EditorView.setRoot method can be used when an editor view is moved to a new document or shadow root.

6.1.4 (2022-08-04)

... (truncated)

Commits

• 7bb719a Mark version 6.2.4
• 4b6d0c9 Don't skip measuring for out-of-view editors that have a scroll target
• 7a20748 Avoid changing scroll strategy on unscrollable elements
• c5c0f19 Fall back to global window when the editor's DOM has no defaultView
• 4810ba4 Make active line background transparent
• 6a15409 Allow decoration option to MatchDecorator to return null
• eda4313 Use the proper window's innerWidth/innerHeight
• 0a9bf6a Mark version 6.2.3
• b7664d5 Fix misnamed property
• 571ad08 Consistenly return boolean from DOMObserver.flush
• 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 #18.