[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Alternative music font
From: |
Patrick McCarty |
Subject: |
Re: Alternative music font |
Date: |
Sun, 1 Nov 2009 14:31:49 -0800 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On 2009-11-01, Neil Puttock wrote:
> 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?
:-)
You're right. The fetaBraces override was necessary when I first
tried to fix the issue, but not anymore. Fixed in git.
Thanks,
Patrick