Hanno Becker (May 06 2024 at 05:03): Hanno Becker (May 06 2024 at 05:03):Hi :wave: Is it possible (in jEdit) to create foldable markup? I'd like to print some high-level information in the output buffer but allow the user to selectively unfold sections for more details.
Hanno Becker (May 06 2024 at 05:09):Ah... Pretty.fold_text seems to provide that. Though it seems to show the unfolded version by default, which is not what I want.
Last updated: Feb 28 2025 at 08:24 UTC