[PATCH] Change default MacOS font

[Dirk Hohndel]

Henrik Brautaset Aronsen <subsurface at henrik.synth.no> writes:

> On Mon, Feb 4, 2013 at 11:32 AM, Henrik Brautaset Aronsen <
> subsurface at henrik.synth.no> wrote:
>
>> 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.
>
>
> I just built Subsurface on an older machine with 10.6.8.  Arial 10 worked
> fine there as well, so we won't have to revert the pull :)

Good. I build the "official binaries" on a 10.6 machine that I don't
have access to from here...

/D