From: hannobecker@posteo.de
Hi,
Pretty.text_fold
creates foldable pretty printing output. By default,
the output seems to be unfolded.
Is it possible to refine Pretty.text_fold
so one can specify whether
the output should initially be unfolded or folded?
I would like to print high-level information in the output buffer and
allow the user to selectively unfold further details. Printing all
details by default is inscrutable in my application.
Thanks!
Hanno
Last updated: Feb 05 2025 at 16:23 UTC