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

[dependabot[bot]]

Bumps @codemirror/view from 6.9.2 to 6.11.2.

Changelog

Sourced from @​codemirror/view's changelog.

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.

New features

Widget decorations can now define custom coordsAtPos methods to control the way the editor computes screen positions at or in the widget.

6.9.6 (2023-04-21)

Bug fixes

Fix an issue where, when escape was pressed followed by a key that the editor handled, followed by tab, the tab would still move focus.

... (truncated)

Commits

• 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
• 5eaa974 Mark version 6.11.1
• 149e9d6 Force redrawing of compositions that span multiple lines
• 42def80 Fix typo in doc template
• 0913fce Revert "Add hover exit delay to hoverTooltip"
• f123c7c Add hover exit delay to hoverTooltip
• 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[bot]]

The following labels could not be found: dependencies.

[codecov-commenter]

Codecov Report

Merging #975 (11ac68b) into master (00d119c) will decrease coverage by 0.28%. The diff coverage is 9.76%.

:exclamation: 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     #975      +/-   ##
============================================
- 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%)	:arrow_down:
migrator	100.00% <ø> (ø)
php	20.01% <10.02%> (-0.20%)	:arrow_down:
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[bot]]

Superseded by #978.