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.

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

Tweak close vector button in default-config. #1066

Merged
merged 1 commit into from
Oct 12, 2024

Conversation

somiaj
Copy link
Collaborator

@somiaj somiaj commented Oct 12, 2024

Tweak the close vector button so rounding issues don't cause one pixel in the top right corner 'X' to be missing in some cases. Unsure why this works, but in some cases it does.

This is the suggestion in #1065.

Tweak the close vector button so rounding issues don't cause one
pixel in the top right corner 'X' to be missing in some cases.
Unsure why this works, but in some cases it does.

This is the suggestion in #1065.
@ThomasAdam ThomasAdam added type:enhancement Augmenting an existing feature relates:decors Issue is in decor handling code labels Oct 12, 2024
@ThomasAdam ThomasAdam added this to the 1.1.1 milestone Oct 12, 2024
@ThomasAdam ThomasAdam merged commit e660993 into main Oct 12, 2024
5 checks passed
@ThomasAdam ThomasAdam deleted the js/default-config-vector-button-tweak branch October 12, 2024 09:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
relates:decors Issue is in decor handling code type:enhancement Augmenting an existing feature
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants