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

[dependabot]

Bumps @codemirror/view from 6.0.0 to 6.7.3.

Changelog

Sourced from @​codemirror/view's changelog.

6.7.3 (2023-01-12)

Bug fixes

Fix a bug in posAtCoords that could cause incorrect results for positions to the left of a wrapped line.

6.7.2 (2023-01-04)

Bug fixes

Fix a regression where the cursor didn't restart its blink cycle when moving it with the pointer.

Even without a key property, measure request objects that are already scheduled will not be scheduled again by requestMeasure.

Fix an issue where keymaps incorrectly interpreted key events that used Ctrl+Alt modifiers to simulate AltGr on Windows.

Fix a bug where line decorations with a different class property would be treated as equal.

Fix a bug that caused drawSelection to not notice when it was reconfigured.

Fix a crash in the gutter extension caused by sharing of mutable arrays.

Fix a regression that caused touch selection on mobile platforms to not work in an uneditable editor.

Fix a bug where DOM events on the boundary between lines could get assigned to the wrong line.

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.

... (truncated)

Commits

• 4c8b426 Mark version 6.7.3
• 88f841a Fix a bug in posAtCoords for positions between pieces of wrapped text
• 0121462 Mark version 6.7.2
• c37635e Avoid rounding errors in gutter DOM event line finding
• a403e7c Fix a regression around selection of uneditable content on mobile
• 5875d32 Fix incorrect data sharing in gutter implementation
• aa99079 Fix a bug in reconfiguration-detection in drawSelection
• 3914fb9 Fix LineDecoration.eq (#44)
• c478810 Don't fall back to keyCode for events that use Windows pseudo-AltGr
• f2f596d Don't store duplicate measure requests
• 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 #74.