snip > > At any rate, can someone tell precisely what cache files to delete, > to make sure I'm not misisng something? > > David Craig > I think the best way to delete the font cache is by running the little tool FontNuke.app which you can download for free. Alex