Skip to content

[diffs/edit] fix selection rounded corner rendering - #1007

Merged
ije merged 2 commits into
beta-1.3from
ije/fix-selection-rounded
Jul 20, 2026
Merged

[diffs/edit] fix selection rounded corner rendering#1007
ije merged 2 commits into
beta-1.3from
ije/fix-selection-rounded

Conversation

@ije

@ije ije commented Jul 20, 2026

Copy link
Copy Markdown
Collaborator
Screenshot 2026-07-20 at 19 16 06

Screenshot 2026-07-20 at 19 17 15

@vercel

vercel Bot commented Jul 20, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
pierre-docs-diffs Ready Ready Preview Jul 20, 2026 11:41am
pierre-docs-diffshub Ready Ready Preview Jul 20, 2026 11:41am
pierre-docs-trees Ready Ready Preview Jul 20, 2026 11:41am
pierrejs-diff-demo Ready Ready Preview Jul 20, 2026 11:41am

Request Review

@amadeus amadeus left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh dope, thanks!

@ije
ije merged commit 0374177 into beta-1.3 Jul 20, 2026
8 checks passed
@ije
ije deleted the ije/fix-selection-rounded branch July 20, 2026 17:20
amadeus pushed a commit that referenced this pull request Jul 21, 2026
* [diffs/edit] fix selection rounded corner rendering

* add e2e testing
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants