Skip to content

give extensions an optional display name#10636

Merged
riknoll merged 2 commits into
masterfrom
dev/riknoll/extension-display-name
Jun 10, 2025
Merged

give extensions an optional display name#10636
riknoll merged 2 commits into
masterfrom
dev/riknoll/extension-display-name

Conversation

@riknoll
Copy link
Copy Markdown
Member

@riknoll riknoll commented Jun 10, 2025

as the title says, this adds an optional displayName field in pxt.json that let's you set the name that appears in the extensions browser. this is needed to fix the mc bug with the file extension because they want a name that is different from the directory of the bundled extension

@riknoll riknoll requested a review from a team June 10, 2025 17:50
Copy link
Copy Markdown
Contributor

@thsparks thsparks left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice. Just a note that this can also be used to address https://github.com/microsoft/pxt-minecraft/issues/2512 (though we probably shouldn't close that issue until the extensions have utilized the new field)

@riknoll riknoll enabled auto-merge (squash) June 10, 2025 18:24
@riknoll riknoll merged commit cc8a08e into master Jun 10, 2025
20 checks passed
@riknoll riknoll deleted the dev/riknoll/extension-display-name branch June 10, 2025 18:35
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.

5 participants