On 1/29/2012 2:44 PM, bearophile wrote: > Walter: >> What? How could the compiler possibly know what font was used in your editor? > Sorry Walter, this time I wasn't serious :-) All I can say is, I'm glad. That was a heluva WTF!