chore(deps): update dependency @codemirror/view to v6.41.0

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
@codemirror/view	6.39.10 → 6.41.0

---

Release Notes

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.

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

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

---

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