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.

Sign up for GitHub

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

Jump to bottom

Button is non-standard: Different border radius #164555

Closed
hediet opened this issue Oct 25, 2022 · 0 comments · Fixed by #164747
Closed

Button is non-standard: Different border radius #164555

hediet opened this issue Oct 25, 2022 · 0 comments · Fixed by #164747
Assignees
@alexdima
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Milestone
October 2022

Comments

@hediet
Copy link
Member

hediet commented Oct 25, 2022

Testing #164490

image
@alexdima alexdima added this to the October 2022 milestone Oct 25, 2022
@alexdima alexdima added the bug Issue identified by VS Code Team member as probable bug label Oct 25, 2022
@alexdima alexdima mentioned this issue Oct 26, 2022
Merged
alexdima added a commit that referenced this issue Oct 26, 2022
@alexdima
Fixes #164555: Use border-radius: 2px
db88022
alexdima added a commit that referenced this issue Oct 26, 2022
@alexdima
Use border-radius: 2px (#164747)
9e0b95f 
Fixes #164555: Use `border-radius: 2px`
@VSCodeTriageBot VSCodeTriageBot added unreleased Patch has not yet been released in VS Code Insiders insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Oct 26, 2022
formigoni pushed a commit to formigoni/vscode that referenced this issue Oct 27, 2022
@alexdima @formigoni
Use border-radius: 2px (microsoft#164747)
9cd9f9c 
Fixes microsoft#164555: Use `border-radius: 2px`
@hediet hediet added the verified Verification succeeded label Oct 27, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Dec 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@alexdima alexdima

Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Projects
None yet
Milestone
October 2022
Development

Successfully merging a pull request may close this issue.

Use border-radius: 2px microsoft/vscode
3 participants
@hediet @alexdima @VSCodeTriageBot