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

Set glyph margin decoration width appropriately #181071

Merged
merged 1 commit into from
Apr 27, 2023
Merged

Set glyph margin decoration width appropriately #181071

merged 1 commit into from
Apr 27, 2023

Conversation

joyceerhl
Copy link
Contributor

@joyceerhl joyceerhl commented Apr 27, 2023 •
edited
Loading

Fixes #180834

Before:
image
After:
image

@joyceerhl joyceerhl self-assigned this Apr 27, 2023
@vscodenpa vscodenpa added this to the April 2023 milestone Apr 27, 2023
@roblourens
Copy link
Member

We discussed this in standup and the change looks obviously correct to me, go ahead and merge this

@joyceerhl joyceerhl merged commit 651bd24 into main Apr 27, 2023
@joyceerhl joyceerhl deleted the dev/joyceerhl/upper-earthworm branch April 27, 2023 22:35
@github-actions github-actions bot locked and limited conversation to collaborators Jun 11, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@roblourens roblourens roblourens approved these changes

Assignees

@joyceerhl joyceerhl

Labels
None yet
Projects
None yet
Milestone
April 2023
Development

Successfully merging this pull request may close these issues.

[insiders] Gutter icons are stretched and cropped when adding breakpoints
3 participants
@joyceerhl @roblourens @vscodenpa