Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependency @codemirror/view to v6.33.0 #9396

Merged
merged 1 commit into from
Aug 24, 2024
Merged

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Aug 24, 2024

Mend Renovate

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
@codemirror/view 6.32.0 -> 6.33.0 age adoption passing confidence

Release Notes

codemirror/view (@​codemirror/view)

v6.33.0

Compare Source

Bug fixes

Make it easier to move the pointer over a hover tooltip with an arrow by not closing the tooltip when the pointer is moving over the gap for the arrow.

New features

The new EditorView.clipboardInputFilter and clipboardOutputFilter facets allow you to register filter functions that change text taken from or sent to the clipboard.


Configuration

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

🚦 Automerge: Enabled.

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.

@renovate renovate bot force-pushed the renovate/codemirror branch 2 times, most recently from 88611ca to 7e5e8f9 Compare August 24, 2024 15:17
Copy link
Contributor

Code Coverage Report: Only Changed Files listed

Package Coverage
Overall Coverage 🟢 85%

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

@renovate renovate bot merged commit be9c493 into main Aug 24, 2024
15 checks passed
@renovate renovate bot deleted the renovate/codemirror branch August 24, 2024 23:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants