Skip to content

[diffs] Fix gutter utility rendering quirk#729

Merged
amadeus merged 2 commits into
mainfrom
amadeus/fix-hover-line-bug
May 20, 2026
Merged

[diffs] Fix gutter utility rendering quirk#729
amadeus merged 2 commits into
mainfrom
amadeus/fix-hover-line-bug

Conversation

@amadeus
Copy link
Copy Markdown
Member

@amadeus amadeus commented May 20, 2026

CleanShot 2026-05-20 at 15 49 41

this only appears to happen on chrome, and it's some very bizarro rendering quirk. This feels like a better fix than the earlier one I had

@vercel
Copy link
Copy Markdown

vercel Bot commented May 20, 2026

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

Project Deployment Actions Updated (UTC)
pierre-docs-diffshub Ready Ready Preview May 20, 2026 10:49pm
pierre-docs-trees Ready Ready Preview May 20, 2026 10:49pm
pierrejs-diff-demo Ready Ready Preview May 20, 2026 10:49pm
pierrejs-docs Ready Ready Preview May 20, 2026 10:49pm

Request Review

@amadeus amadeus merged commit 5de2324 into main May 20, 2026
12 checks passed
@amadeus amadeus deleted the amadeus/fix-hover-line-bug branch May 20, 2026 22:56
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.

1 participant