[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Info output of @dots{} in UTF-8
|
From: |
Gavin Smith |
|
Subject: |
Info output of @dots{} in UTF-8 |
|
Date: |
Fri, 3 Jul 2015 19:36:10 +0100 |
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?
ellipsis.png
Description: PNG image
- Info output of @dots{} in UTF-8,
Gavin Smith <=
ellipsis.png