Re: Character folding in text editors

From: Eli Zaretskii <>
Date: Sun, 21 Feb 2016 18:29:51 +0200

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?

Received on Sun Feb 21 2016 - 10:30:59 CST

This archive was generated by hypermail 2.2.0 : Sun Feb 21 2016 - 10:30:59 CST