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

[dependabot]

Bumps @codemirror/view from 6.0.0 to 6.7.1.

Changelog

Sourced from @​codemirror/view's changelog.

6.7.1 (2022-12-12)

Bug fixes

Make the editor properly scroll when moving the pointer out of it during drag selection.

Fix a regression where clicking below the content element in an editor with its own height didn't focus the editor.

6.7.0 (2022-12-07)

Bug fixes

Make the editor notice widget height changes to automatically adjust its height information.

Fix an issue where widget buffers could be incorrectly omitted after empty lines.

Fix an issue in content redrawing that could cause coordsAtPos to return incorrect results.

New features

The static RectangleMarker.forRange method exposes the logic used by the editor to draw rectangles covering a selection range.

Layers can now provide a destroy function to be called when the layer is removed.

The new highlightWhitespace extension makes spaces and tabs in the editor visible.

The highlightTrailingWhitespace extension can be used to make trailing whitespace stand out.

6.6.0 (2022-11-24)

New features

The layer function can now be used to define extensions that draw DOM elements over or below the document text.

Tooltips that are bigger than the available vertical space for them will now have their height set so that they don't stick out of the window. The new resize property on TooltipView can be used to opt out of this behavior.

6.5.1 (2022-11-15)

Bug fixes

Fix a bug that caused marked unnecessary splitting of mark decoration DOM elements in some cases.

6.5.0 (2022-11-14)

Bug fixes

Fix an issue where key bindings were activated for the wrong key in some situations with non-US keyboards.

New features

... (truncated)

Commits

• aaeea28 Mark version 6.7.1
• d67284f Remove commented-out line
• 6db9fac Make sure clicks on the scroll element get routed to mouse handler
• 25ca9a6 Scroll when drag-selecting out of the editor
• 2bf8c4e Mark version 6.7.0
• 08b94f8 Export basic space highlighting utilities
• dac8035 Fix issue in updating of partial replacement widgets
• 69c0025 Support a destroy method in layers
• 494c5f3 Export RectangleMarker.forRange
• 5e25b43 Make sure ContentBuilder treats the start of line as a cursor position
• 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 #56.