Skip to content

gpui: Fix tab jitter from oversized scrolling#42434

Merged
cameron1024 merged 3 commits intozed-industries:mainfrom
cppcoffee:scroll
Dec 12, 2025
Merged

gpui: Fix tab jitter from oversized scrolling#42434
cameron1024 merged 3 commits intozed-industries:mainfrom
cppcoffee:scroll

Conversation

@cppcoffee
Copy link
Contributor

Closes #42341

Release Notes:

  • Fixed tab jitter from oversized scrolling

@cla-bot cla-bot bot added the cla-signed The user has signed the Contributor License Agreement label Nov 11, 2025
@github-actions github-actions bot added the community champion Issues filed by our amazing community champions! 🫶 label Nov 11, 2025
Signed-off-by: Xiaobo Liu <cppcoffee@gmail.com>
Signed-off-by: Xiaobo Liu <cppcoffee@gmail.com>
@JosephTLyons
Copy link
Collaborator

Thanks for opening a bug fix PR @cppcoffee, we'll review ASAP!

Copy link
Contributor

@cameron1024 cameron1024 left a comment

Choose a reason for hiding this comment

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

Looks good :) thanks for the contribution 🎉

@cameron1024 cameron1024 merged commit 329ec64 into zed-industries:main Dec 12, 2025
23 checks passed
@github-project-automation github-project-automation bot moved this from Community Champion PRs to Done in Quality Week – December 2025 Dec 12, 2025
@cppcoffee cppcoffee deleted the scroll branch December 13, 2025 02:06
nrbnlulu pushed a commit to nrbnlulu/zed that referenced this pull request Dec 14, 2025
CherryWorm pushed a commit to CherryWorm/zed that referenced this pull request Dec 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement community champion Issues filed by our amazing community champions! 🫶

Projects

Development

Successfully merging this pull request may close these issues.

[minor] Syntax tree tab name vibrates position when too small

3 participants