At 11:32 AM 25/02/2005 -0800, you wrote:
>This seems a good time for that change; with 3 major devices now using the
>new unicode font infrastructure in quite different ways it seems it is no
>longer experimental, and I agree with your point that pretty default results
>are always worthwhile.
Actually Alan, there are 4. The wingcc driver also does it :-).