[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]