Skip to content

New feature: more-editor-fonts#910

Merged
rgantzos merged 1 commit intoSTForScratch:mainfrom
rgantzos:main
Jul 7, 2024
Merged

New feature: more-editor-fonts#910
rgantzos merged 1 commit intoSTForScratch:mainfrom
rgantzos:main

Conversation

@rgantzos
Copy link
Collaborator

@rgantzos rgantzos commented Jul 7, 2024

No description provided.

@rgantzos rgantzos added priority: 2 The 2nd most important. new feature Adds a new feature to the settings page status: needs review Waiting for further review. scope: feature labels Jul 7, 2024
@rgantzos rgantzos added this to the ScratchTools v4.0.0 milestone Jul 7, 2024
@scratchtools-bot
Copy link
Contributor

⚠️ This pull request was linked to a suggestion in the ScratchTools server. The user's Scratch profile is unknown at the moment.

@rgantzos rgantzos merged commit f634533 into STForScratch:main Jul 7, 2024
@rgantzos rgantzos removed the status: needs review Waiting for further review. label Jul 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new feature Adds a new feature to the settings page priority: 2 The 2nd most important. scope: feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments