I was asking this StackOverflow question about special escape codes for automatically folding away text (or also the other way around: it is folded first, and then the user can unfold it). I think this is quite useful in long detailed (log) outputs.
This can probably be done already via the HTML support. But maybe some more explicit support / escape code for this would be nice.
This is related to this DomTerm issue. DomTerm somewhat seems to support this already, so maybe it would be nice to keep this compatible.
I was asking this StackOverflow question about special escape codes for automatically folding away text (or also the other way around: it is folded first, and then the user can unfold it). I think this is quite useful in long detailed (log) outputs.
This can probably be done already via the HTML support. But maybe some more explicit support / escape code for this would be nice.
This is related to this DomTerm issue. DomTerm somewhat seems to support this already, so maybe it would be nice to keep this compatible.