[Dependency] Bump @codemirror/view from 6.9.2 to 6.11.3 in /site

[dependabot]

Bumps @codemirror/view from 6.9.2 to 6.11.3.

Changelog

Sourced from @​codemirror/view's changelog.

6.11.3 (2023-05-17)

Bug fixes

Make sure pointer selection respects EditorView.atomicRanges.

Preserve DOM widgets when their decoration type changes but they otherwise stay in the same place.

Fix a bug in drawSelection that could lead to invisible or incorrect selections for a blank line below a block widget.

6.11.2 (2023-05-13)

Bug fixes

Fix a bug where the crosshairCursor extension could, when non-native key events were fired, trigger disruptive and needless view updates.

Fix an Android issue where backspacing at the front of a line with widget decorations could replace those decorations with their text content.

Respect scroll margins when scrolling the target of drag-selection into view.

Validate selection offsets reported by the browser, to work around Safari giving us invalid values in some cases.

6.11.1 (2023-05-09)

Bug fixes

Don't preserve the DOM around a composition that spans multiple lines.

6.11.0 (2023-05-03)

New features

Gutters now support a widgetMarker option that can be used to add markers next to block widgets.

6.10.1 (2023-05-01)

Bug fixes

Limit cursor height in front of custom placeholder DOM elements.

6.10.0 (2023-04-25)

Bug fixes

Fix a crash in drawSelection when a measured position falls on a position that doesn't have corresponding screen coordinates.

Work around unhelpful interaction observer behavior that could cause the editor to not notice it was visible.

Give the cursor next to a line-wrapped placeholder a single-line height.

Make sure drop events below the editable element in a fixed-height editor get handled properly.

... (truncated)

Commits

• 5be081e Mark version 6.11.3
• 75944a7 Fix corner case around block widgets in DOM reader
• 6d32e34 Properly draw selection gap for a blank line below a widget
• efda638 Allow widget DOM to be reused between replace and widget decorations
• 772e5a5 Make mouse selection respect atomic ranges
• 5dc2e96 Mark version 6.11.2
• 00db062 Check whether selection offsets reported by the browser are valid
• 6eedd86 Make sure scrolling during drag selection respects scroll margins
• 6f0d8ff Be more aggressive in interpreting Android changes as backspace
• 463dad3 Fix unnecessary updates from crosshairCursor
• 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]

The following labels could not be found: dependencies.

[codecov-commenter]

Codecov Report

Merging #978 (052805b) into master (00d119c) will decrease coverage by 0.28%.
The diff coverage is 9.76%.

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@             Coverage Diff              @@
##             master     #978      +/-   ##
============================================
- Coverage     23.32%   23.05%   -0.28%     
- Complexity     7818     7925     +107     
============================================
  Files           220      221       +1     
  Lines         27303    28190     +887     
  Branches         70       71       +1     
============================================
+ Hits           6369     6498     +129     
- Misses        20866    21623     +757     
- Partials         68       69       +1     

Flag	Coverage Δ
autograder	21.56% <ø> (ø)
js	27.68% <0.00%> (-0.79%)	⬇️
migrator	100.00% <ø> (ø)
php	20.01% <10.02%> (-0.20%)	⬇️
python_submitty_utils	71.65% <ø> (ø)
submitty_daemon_jobs	91.01% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

[dependabot]

Superseded by #983.