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

Merge Editor: Checkbox range borders should use 1px stroke #151124

Closed
daviddossett opened this issue Jun 2, 2022 · 1 comment · Fixed by #151131
Closed

Merge Editor: Checkbox range borders should use 1px stroke #151124

daviddossett opened this issue Jun 2, 2022 · 1 comment · Fixed by #151131
Assignees
@jrieken @hediet
Labels
insiders-released Patch has been released in VS Code Insiders
Milestone
May 2022

Comments

@daviddossett
Copy link
Contributor

Testing #150389

Current

CleanShot 2022-06-02 at 08 47 36@2x

1px

CleanShot 2022-06-02 at 08 48 17@2x
daviddossett added a commit that referenced this issue Jun 2, 2022
@daviddossett
Fix merge editor checkbox border width (Fix #151124)
79f0d63
@daviddossett daviddossett mentioned this issue Jun 2, 2022
Merged
daviddossett added a commit that referenced this issue Jun 2, 2022
@daviddossett
Fix merge editor checkbox border width (Fix #151124) (#151131)
f7ec978
@VSCodeTriageBot VSCodeTriageBot added the unreleased Patch has not yet been released in VS Code Insiders label Jun 2, 2022
@VSCodeTriageBot VSCodeTriageBot added this to the May 2022 milestone Jun 2, 2022
@hediet
Copy link
Member

hediet commented Jun 2, 2022

Thanks for fixing!

@VSCodeTriageBot VSCodeTriageBot added insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Jun 3, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Jul 17, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jrieken jrieken

@hediet hediet

Labels
insiders-released Patch has been released in VS Code Insiders
Projects
None yet
Milestone
May 2022
Development

Successfully merging a pull request may close this issue.

Fix merge editor checkbox border width (Fix #151124) microsoft/vscode
4 participants
@jrieken @hediet @daviddossett @VSCodeTriageBot