>>>> "Bruce" == Bruce Stephens
<bruce(a)cenderis.demon.co.uk> writes:
Bruce> giacomo boffi <giacomo.boffi(a)polimi.it> writes:
Bruce> [...]
> uh, were we talking about _proportional_ fonts?
Bruce> Yes. Not *just* proportional fonts, though. It's non-trivial to get
Bruce> a set of fonts (roman, italic, bold, bold-italic) which are all of the
Bruce> same width, even if individually they're monospaced. That kind of
I found that courier roman, courier italic, courier bold, and courier
bold-italic work well.
Bruce> It would be really cool not to have to worry, and for most things to
Bruce> just work. And having proportional fonts usable would be nice, too.
I think proportional fonts would be nice, I'm just not sure it be done
well enough not to be annoying.
Ray, who will stick with mono fonts for a long long time. :-)