Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Fri Aug 6 10:06:50 EDT 2004

"Simon Marlow" <simonmar at microsoft.com> writes:

>          The backtick is not a quotation mark - it looks ok in some
> fonts (eg. the X11 misc fonts), but not in others.  There's an article
> somewhere on the web that describes why backticks should not be used as
> single quotes, I can probably dig it up if anyone's interested.

I'm sure that every terminal font I have used since 1987 had quote
and back-quote characters rendered symmetrically, until about three
years ago, when suddenly both characters became ugly and they no
longer balanced.  I've been wondering what happened ever since...

> Any objections to changing this in Text.PrettyPrint.HughesPJ?

No objections!


More information about the Libraries mailing list