A few HTML feature requests... about penzai HOT 3 CLOSED

Interesting ideas, thanks!

For the ... rendering, I've so far avoided doing that in order to preserve round-trippability (similar to ordinary repr or pprint). It's also sometimes useful to see many nesting levels at once, especially if you have a lot of small objects (e.g. a list of lists of integers), so it seems like just "always replace nested objects with ..." might be less useful in some cases. I'll have to think about what an appropriate summarization strategy should be, and when to enable it.

In the long run maybe there should be configuration options for these that you can use when setting up treescope. (The render_to_html function is currently used internally for some interactive rendering, so I don't think it would make sense to change its default behavior.)

from penzai.

Re — I was able to turn off the buttons and path renderings by writing my own handler (the handler overloading was quite easy to get the hang of! Neat system). I wasn’t able to figure out the folded (…) idea, but may try again if I have time tomorrow.

from penzai.

Closing, as I've solved this issue on my end.

from penzai.