Skip to content

Conversation

AndreasArvidsson
Copy link
Member

I think you can just go ahead and merge this. Our required vscode version is still the same and it's still working if you have the correct version.

@pokey pokey added this to the 0.24.0 milestone Dec 14, 2021
@pokey
Copy link
Member

pokey commented Dec 14, 2021

I only seem to need 2px to avoid clipping. Do you need a full 5px?

@AndreasArvidsson
Copy link
Member Author

Then we do 2px

@pokey pokey merged commit 9137961 into main Dec 16, 2021
@pokey pokey deleted the defaultPaddingTop branch December 16, 2021 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants