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.
