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

Centre numbers vertically in top activity bar badges (fix #196691) #196696

Merged
merged 1 commit into from
Oct 26, 2023

Conversation

gjsjohnmurray
Copy link
Contributor

This PR fixes #196691

@gjsjohnmurray
Copy link
Contributor Author

/assign @sandy081

@sandy081 sandy081 enabled auto-merge October 26, 2023 12:20
@vscodenpa vscodenpa added this to the October 2023 milestone Oct 26, 2023
@sandy081 sandy081 merged commit 4422a67 into microsoft:main Oct 26, 2023
5 checks passed
@gjsjohnmurray gjsjohnmurray deleted the fix-196691 branch October 26, 2023 13:09
gjsjohnmurray added a commit to gjsjohnmurray/vscode that referenced this pull request Oct 26, 2023
sandy081 added a commit that referenced this pull request Oct 26, 2023
Correct the #196696 fix which caused oval badges
gjsjohnmurray added a commit to gjsjohnmurray/vscode that referenced this pull request Oct 26, 2023
sandy081 added a commit that referenced this pull request Oct 27, 2023
Upsize progress badge on top activity bar to match #196696 change
@github-actions github-actions bot locked and limited conversation to collaborators Dec 10, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Activity bar top: numbers too low in their badges
4 participants