Sebastian Hädrich
Sebastian Hädrich
Sounds good 👍🏻
Could be related to #3056 and #1466
The title is a little confusing, since the description says, not the playlists itself should be sortable (what I requested in #3440) but the videos within.
The latter was also requested in #1486
Related to #1737
There doesn't seem to be a native option to [add any other button than "copy" and "select"](https://squidfunk.github.io/mkdocs-material/reference/code-blocks/#configuration) with the latter being sponsors-only:  > I went looking through the mkdocs...
Yeah, but that is only the "select" button, not the "play"/"run"/"execute" button
If it helps, this can be done in a separate PR, when other questions are not yet answered
@SeanTAllen I am indeed. The questions asked above still stand: * tutorial code examples inline, as separate files (_still everything in one place_), or as gist? * playground preloaded code...
> it seems like gist is the only reasonable solution at this time Grabbing the code from files could easily be implemented here: https://github.com/ponylang/pony-playground/blob/59b1ffdac935f27cd73d7fd77ff380e7a38e9b7d/static/web.js#L516-L527 > I'd love to see the...