Skip to content

chore: Use default renderer for thrasos#9981

Merged
mikeharv merged 2 commits into
RaspberryPiFoundation:mainfrom
mikeharv:thrasos-playgrounds
Jun 12, 2026
Merged

chore: Use default renderer for thrasos#9981
mikeharv merged 2 commits into
RaspberryPiFoundation:mainfrom
mikeharv:thrasos-playgrounds

Conversation

@mikeharv

@mikeharv mikeharv commented Jun 12, 2026

Copy link
Copy Markdown
Contributor

The basics

The details

Proposed Changes

Updates the playground to use the default renderer, thrasos as of v13.

Reason for Changes

With Blockly v13, Thrasos is the new default renderer. Explicitly setting the renderer would override the default.

Additional Information

We should also update the default value of the renderer dropdown in the Advanced Playground's options list (in samples).

Geras:
image

Thrasos:
image

@mikeharv mikeharv requested a review from a team as a code owner June 12, 2026 13:07
@mikeharv mikeharv requested a review from lizschwab June 12, 2026 13:07
@mikeharv mikeharv changed the title Use default renderer for thrasos feat: Use default renderer for thrasos Jun 12, 2026
@github-actions github-actions Bot added the PR: feature Adds a feature label Jun 12, 2026

@maribethb maribethb left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM but I would call this a chore because it does not affect the published release.

@mikeharv mikeharv changed the title feat: Use default renderer for thrasos chore: Use default renderer for thrasos Jun 12, 2026
@github-actions github-actions Bot added PR: chore General chores (dependencies, typos, etc) and removed PR: feature Adds a feature labels Jun 12, 2026
@mikeharv mikeharv merged commit ef88be2 into RaspberryPiFoundation:main Jun 12, 2026
13 of 15 checks passed
@mikeharv mikeharv deleted the thrasos-playgrounds branch June 12, 2026 14:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: chore General chores (dependencies, typos, etc)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants