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

[dependabot]

Bumps @codemirror/view from 6.0.0 to 6.9.1.

Changelog

Sourced from @​codemirror/view's changelog.

6.9.1 (2023-02-17)

Bug fixes

Improve the way posAtCoords picks the side of a widget to return by comparing the coordinates the center of the widget.

Fix an issue where transactions created for the focusChangeEffect facet were sometimes not dispatched.

6.9.0 (2023-02-15)

Bug fixes

Fix an issue where inaccurate estimated vertical positions could cause the viewport to not converge in line-wrapped editors.

Don't suppress double-space to period conversion when autocorrect is enabled.

Make sure the measuring code notices when the scaling of the editor is changed, and does a full measure in that case.

New features

The new EditorView.focusChangeEffect facet can be used to dispatch a state effect when the editor is focused or blurred.

6.8.1 (2023-02-08)

Bug fixes

Fix an issue where tooltips that have their height reduced have their height flicker when scrolling or otherwise interacting with the editor.

6.8.0 (2023-02-07)

Bug fixes

Fix a regression that caused clicking on the scrollbar to move the selection.

Fix an issue where focus or blur event handlers that dispatched editor transactions could corrupt the mouse selection state.

Fix a CSS regression that prevented the drop cursor from being positioned properly.

New features

WidgetType.updateDOM is now passed the editor view object.

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)

... (truncated)

Commits

• 88cda1c Mark version 6.9.1
• 70a9a25 Make sure focus change transactions are fired
• 471895e Make posAtCoords pick a side based on coordinates when on a widget
• 31287e8 Mark version 6.9.0
• e1df6d6 Make sure measure notices scaling changes
• 7717cfd Only suppress double-space-to-period behavior when autocorrect is off
• 2eba628 Remove a debug statement
• 0e57839 Add EditorView.focusChangeEffect
• 269e19e Improve estimation of line block heights in line-wrapped documents
• 21f8223 Fix possible negative height computation in heightForGap
• 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)