Skip to content

fix #195973#195975

Merged
sandy081 merged 1 commit intomainfrom
sandy081/rival-donkey
Oct 19, 2023
Merged

fix #195973#195975
sandy081 merged 1 commit intomainfrom
sandy081/rival-donkey

Conversation

@sandy081
Copy link
Member

fix #195973

Adjust height and line-height of badge in titlebar and paneCompositePart

Adjust height and line-height of badge in titlebar and paneCompositePart
@sandy081 sandy081 self-assigned this Oct 19, 2023
@sandy081 sandy081 enabled auto-merge (squash) October 19, 2023 08:34
@vscodenpa vscodenpa added this to the October 2023 milestone Oct 19, 2023
@sandy081 sandy081 merged commit 0b1e8b3 into main Oct 19, 2023
@sandy081 sandy081 deleted the sandy081/rival-donkey branch October 19, 2023 08:53
Alex0007 pushed a commit to Alex0007/vscode that referenced this pull request Oct 26, 2023
Adjust height and line-height of badge in titlebar and paneCompositePart
@github-actions github-actions bot locked and limited conversation to collaborators Dec 3, 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.

Elliptical badges when Activity Bar is Top

3 participants