Skip to content

fix: widen diff gutter for large line numbers#395

Merged
levivilet merged 1 commit into
mainfrom
fix/fix-diff-gutter-width
Jul 9, 2026
Merged

fix: widen diff gutter for large line numbers#395
levivilet merged 1 commit into
mainfrom
fix/fix-diff-gutter-width

Conversation

@levivilet

Copy link
Copy Markdown
Contributor

Summary

  • widen the diff gutter padding used for line number rendering and cursor math
  • add an e2e regression for 1, 10,000, and 1,000,000 line-number gutter widths

@levivilet
levivilet enabled auto-merge (squash) July 9, 2026 10:07
@levivilet
levivilet force-pushed the fix/fix-diff-gutter-width branch from 6e57346 to f9b15a6 Compare July 9, 2026 10:11
@levivilet
levivilet force-pushed the fix/fix-diff-gutter-width branch from f9b15a6 to e1a4d4f Compare July 9, 2026 10:16
@levivilet
levivilet merged commit 993bb78 into main Jul 9, 2026
3 checks passed
@levivilet
levivilet deleted the fix/fix-diff-gutter-width branch July 9, 2026 10:20
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