[PATCH] Change default MacOS font

Mon Feb 4 02:32:58 PST 2013

Dirk Hohndel wrote:
> But does Arial 10 have the star symbol and all the languages we support?
> I think I picked the Unicode font BECAUSE that was one of the few that
> had the stars... and I'm certain that I had bold on my Mac...

Yup, Arial 10 has the star symbols, I checked before my checkin.  I'm on 
Mountain Lion, though, so things might be different on earlier OSes.

H