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

Fix feature font size #646

Merged
merged 1 commit into from
Aug 11, 2023
Merged

Fix feature font size #646

merged 1 commit into from
Aug 11, 2023

Conversation

rgantzos
Copy link
Member

No description provided.

@rgantzos rgantzos added priority #3 popup/settings Has to do with the settings in some way bug fix Fixes a bug labels Aug 11, 2023
@rgantzos rgantzos added this to the ScratchTools v3.2.0 milestone Aug 11, 2023
@rgantzos rgantzos merged commit 6a21d6c into STForScratch:main Aug 11, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug fix Fixes a bug popup/settings Has to do with the settings in some way priority #3
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant