|
| From: | Werner LEMBERG |
| Subject: | Re: Info output of @dots{} in UTF-8 |
| Date: | Fri, 03 Jul 2015 23:01:35 +0200 (CEST) |
> At present makeinfo outputs @dots{} as the Unicode ellipsis
> character when "@documentencoding UTF-8" is used. I think this
> looks ugly in a monospaced font; see the attached picture. I'd
> propose that three full stops in a row be used instead: "..." to
> give the ellipsis more space to breathe. Any thoughts?
I second this suggestion.
Werner
| [Prev in Thread] | Current Thread | [Next in Thread] |