The information is there at the source level in the way the evaluators are used but I guess it gets discarded by the time the code gets to html.
There is also the issue that some of the context code is relevant and some isn't, so not all of the information is actually there to make the most compact examples to copy. Robby On Wed, Apr 8, 2020 at 12:15 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > Thoughts: > > - I take a look at the compiled HTML document. It doesn't seem suffice to > only change JavaScript because the information about "what is the input" is > pretty much lost at the HTML level. > - IIUC, Scribble targets older version of HTML (HTML4?), so it doesn't > really care about the semantics of tags -- only the appearance is > considered. It might be possible to add an ad-hoc hack to make this feature > work, but it would be even better to follow the modern HTML practice in the > first place, which would make these kind of customization trivial. > > On Wed, Apr 8, 2020 at 10:09 AM Ben Greenman <benjaminlgreen...@gmail.com> > wrote: > >> On 4/8/20, Stephen De Gabrielle <spdegabrie...@gmail.com> wrote: >> > That’s a good suggestion! Do you know the relevant JavaScript we can >> try it >> > out with. Might be an easy PR. >> > >> >> Beware that snippets are not always self-contained. >> >> A button should grab any requires and earlier code needed to make the >> example run. That'd be very very useful --- but maybe not so easy. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to racket-users+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/CAFUu9R5QLaMvnMh4krLZJTBHz%3Dbo1aLv%3DYkS1amF-2yJU55-aw%40mail.gmail.com >> . >> > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CADcuegsRAXZ8jOTY0Mt52i6X_BD5N%3DjCO8ypyCYrAjBDZomfRQ%40mail.gmail.com > <https://groups.google.com/d/msgid/racket-users/CADcuegsRAXZ8jOTY0Mt52i6X_BD5N%3DjCO8ypyCYrAjBDZomfRQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAL3TdON1B3FDLTGH2VnJEiq0rCZQc3ZFGRnTvns2S6dW9E%2Bg9A%40mail.gmail.com.
