[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Alternative music font
From: |
Neil Puttock |
Subject: |
Re: Alternative music font |
Date: |
Sun, 1 Nov 2009 22:24:57 +0000 |
2009/11/1 Patrick McCarty <address@hidden>:
> On 2009-11-01, Neil Puttock wrote:
> This is what I saw before reversing the settings (my latest commit),
> and now everything loads fine for me.
Same here, but I can't see why you need to set font-defaults twice;
surely the first setting is ignored?
Regards,
Neil