Update CodeMirror

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
@codemirror/commands	6.10.1 → 6.10.3
@codemirror/language	6.11.3 → 6.12.3
@codemirror/state	6.5.2 → 6.6.0
@codemirror/view	6.39.4 → 6.41.0

---

Release Notes

codemirror/commands (@​codemirror/commands)

v6.10.3

Compare Source

Bug fixes

Make sure selection-extending commands preserve the associativity of the selection head.

v6.10.2

Compare Source

Bug fixes

Move the selection to a less surprising place when undoing, moving the selection, redoing, then undoing again.

codemirror/language (@​codemirror/language)

v6.12.3

Compare Source

Bug fixes

Fix a crash in bracketMatching when composing at end of document.

v6.12.2

Compare Source

Bug fixes

Make sure brackets are highlighted in the initial editor state.

Pause bracket matching updates during composition, to avoid disrupting Mobile Safari's fragile composition handling.

v6.12.1

Compare Source

Bug fixes

Improve finding inner language in syntax tree when the nested parse has been marked as bracketed.

v6.12.0

Compare Source

codemirror/state (@​codemirror/state)

v6.6.0

Compare Source

New features

EditorSelection.range now takes an optional assoc argument.

SelectionRange.extend can now be given a third argument to specify associativity.

v6.5.4

Compare Source

Bug fixes

Make SelectionRange.eq return false when the ranges have different goal columns.

v6.5.3

Compare Source

Bug fixes

Fix an issue where RangeValue.eq could get called with a value of a different class.

EditorState.charCategorizer now only uses the highest-precedence set of word characters from the language data, to allow overriding these.

codemirror/view (@​codemirror/view)

v6.41.0

Compare Source

Bug fixes

Fix an issue where EditorView.posAtCoords could incorrectly return a position near a higher element on the line, in mixed-font-size lines.

Expand the workaround for the Webkit bug that causes nonexistent selections to stay visible to be active on non-Safari Webkit browsers.

New features

The new EditorView.cursorScrollMargin facet can now be used to configure the extra space used when scrolling the cursor into view.

v6.40.0

Compare Source

Bug fixes

Fix a bug that caused Shift-Enter/Backspace/Delete on iOS to lose the shift modifier when delivered to key event handlers.

Fix an issue where EditorView.moveVertically could move to the wrong place in wrapped lines with a large line height.

Make sure the selection head associativity is properly set for mouse selections made with shift held down.

New features

WidgetType.updateDOM is now called with the previous widget value as third argument.

v6.39.17

Compare Source

Bug fixes

Improve touch tap-selection on line wrapping boundaries.

Make drawSelection draw our own selection handles on iOS.

Fix an issue where posAtCoords, when querying line wrapping points, got confused by extra empty client rectangles produced by Safari.

v6.39.16

Compare Source

Bug fixes

Perform scroll stabilization on the document or wrapping scrollable elements, when the user scrolls the editor.

Fix an issue where changing decorations right before a composition could end up corrupting the visible DOM.

Fix an issue where some types of text input over a selection would be read as happening in wrong position.

v6.39.15

Compare Source

Bug fixes

Fix a regression where the editor would forget previously measured line heights without good reason.

Fix an issue where scrolling the cursor into view sometimes wouldn't work on Chrome Android.

Fix a bug that broke composition inside of block wrappers.

v6.39.14

Compare Source

Bug fixes

Improve performance of posAtCoords on long lines.

Fix a regression where copy and cut in a shadow DOM on Safari would fall back to the native behavior, often copying the wrong text.

v6.39.13

Compare Source

Bug fixes

Fix an issue where a widget at start or end of line, when wrapped to cover that whole line, could block vertical cursor motion.

Fix an issue EditorView.moveVertically that would sometimes cause selection-extending vertical motion to get stuck on line wrapping points.

v6.39.12

Compare Source

Bug fixes

Fix a bug where the visual selection drawn by drawSelection could fail to update properly in some circumstances.

Fix a bug where PageUp/PageDown near the edge of the viewport might completely skip to the start/end of the document.

Fix a regression that caused mark decorations to be split on text node chunk boundaries again.

v6.39.11

Compare Source

Bug fixes

Avoid handling copy events for parent editors.

v6.39.10

Compare Source

Bug fixes

Fix a regression in the way widget are reused when content next to them changes.

Make sure font metrics get recomputed on fonts.ready even if the line height doesn't change.

Fix an issue where compositions next to a widget that create a new text node could get needlessly interrupted during an editor update.

v6.39.9

Compare Source

Bug fixes

Fix a bug where EditorSelection.cursor() with a non-zero assoc value would not be visually respected at soft-wrap boundaries on initial view creation.

Fix error caused by hover tooltips running a scheduled timeout after their editor has been destroyed.

Fix a bug that caused EditorView.outerDecorations to not affect the content height map.

Fix an issue where composition near a widget could get unnecessarily interrupted.

v6.39.8

Compare Source

Bug fixes

Fix a bug that cause coordsAtPos to use the dimensions of widget buffers when there were more meaningful elements to use nearby.

Fix a data structure corruption that could cause crashes during viewport changes.

v6.39.7

Compare Source

Bug fixes

Fix a bug that could sometimes cause the document to become mangled during composition.

v6.39.6

Compare Source

Bug fixes

Fix an issue when composing on the boundary of a decoration, where the text after the composition would get garbled.

v6.39.5

Compare Source

Bug fixes

Fix an issue where replaced widgets alone on a line weren't reused and didn't get their updateDOM method called.

Fix a bug where, when selecting full lines at the end of the document and inserting a character on Chrome, an inappropriate extra newline was inserted.

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • At any time (no schedule defined)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[github-actions]

Code Coverage Report: Only Changed Files listed

Package	Base Coverage	New Coverage	Difference
Overall Coverage	🟢 53.13%	🟢 53.13%	⚪ 0%

Minimum allowed coverage is 0%, this run produced 53.13%