On 08/06/12 18:02, Andreas Gruenbacher wrote: > Here's an attempt. Needs to be mentioned in NEWS still at least. Can > one of you give this a close look?
The idea looks good. I might prefer a solution that didn't require making an escaped copy of the string, and instead merely escaped the string as it's being printed, to avoid the memory allocation. But if that's too much work it's no big deal.
