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?
More information about the Libraries