waving android

I am currently a software engineer at Google, where as a member of the Android platform team I build frameworks and user interfaces.

The blog here at is mostly historical; you can find more recent posts on .

In response to my problems with fonts in Jaguar’s Terminal.app, a reader writes:

October 3rd, 2002

In response to my problems with fonts in
Jaguar’s Terminal.app
, a reader writes:

I just wanted to let you know I figured out a workaround that seems
to do the trick for me.

I downloaded the ProFont 2.2 package again, and threw the
ProFontIsoLatin1 font into my ~/Library/fonts folder. Now I have two
ProFonts. The regular one that I use for BBEdit and such, and the
Latin1 which I use for the Terminal, and which so far has worked
without a hitch. Looks great.

newer: older: