search

tinygo-org / tinygo-site

Web site for TinyGo project.
https://tinygo.org
57 stars 112 forks source link

Integrated playground at tinygo.org/play #410

Closed aykevl closed 1 month ago

aykevl commented 4 months ago

Instead of having a separate https://play.tinygo.org, use https://tinygo.org/play that actually integrates into the Docsy theme.

Once this is in, I'd like to make play.tinygo.org just a redirect to tinygo.org/play so that I can modify the default UI.

aykevl commented 2 months ago

This now also supports a 'share' button!

aykevl commented 2 months ago

Rebased after #429 and moved some shared code to a file that's included from multiple places (to avoid excessive duplication).

Ready for review :) I'd like to get this merged as it's pretty big (both the integrated playground and the "share" button).

aykevl commented 2 months ago

Updated! It seems my comment was lost. I wonder whether we should maybe use security@ or privacy@ instead of conduct@tinygo.org? It can be a simple alias of course.

deadprogram commented 1 month ago

This is fantastic @aykevl now merging!