Re: Character folding in text editors

[Eli Zaretskii]

Btw, are there any editors out there which support similar features?
If so, can someone please point to them, and perhaps provide a short
summary of the features they provide and how are they implemented?

Thanks.