Sebastian Hädrich

The header title …

1

Am I the only one finding it weird, the header says "Pony Tutorial" but once you scroll down, it changes to the page title? I mean, what's the benefit in...

[5/?] Add ability to run code examples in the playground: Run code samples inline

1

See #340 As discussed in #205 > [!WARNING] Will only work, after #544 and #542 have been merged. Works in combination with ponylang/pony-playground#212. Example: https://deploy-preview-554--pony-tutorial.netlify.app/getting-started/hello-world#the-code 

Make snippets interactive with annotations

1

As suggested in https://github.com/ponylang/pony-tutorial/issues/340#issuecomment-2128485356 Example: https://deploy-preview-553--pony-tutorial.netlify.app/expressions/as#specify-the-type-of-items-in-an-array-literal 

Show full program in tutorial with highlighted lines

1

As suggested in https://github.com/ponylang/pony-tutorial/issues/340#issuecomment-2128485356 Example: https://deploy-preview-552--pony-tutorial.netlify.app/types/classes  

[4/?] Add ability to run code examples in the playground: Get pony snippets tested with ponyc at CI time

8

Fix #549 See #340

Without:  With:  **Language:** [Pony](https://github.com/pygments/pygments/blob/master/pygments/lexers/pony.py#L18)

Improvements to snippets with multiple lines from the same file

6

### Description Let's assume, we have a snippet, where we want to "collapse" the middle part ``` // we want this line // we don't want this line // we...

## Description Shields don't load anymore ### How To Reproduce It Steps to reproduce the behavior: 1. _Go to https://tosdr.org/_ 2. _Scroll down to the end of one box_ 3....