[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: |
Wed, 28 Oct 2009 18:31:56 -0700 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On 2009-10-28, Patrick McCarty wrote:
> On 2009-10-28, Neil Puttock wrote:
> > 2009/10/20 Neil Puttock <address@hidden>:
> > > 2009/10/20 Patrick McCarty <address@hidden>:
> > >
> > >> This should be fixed now in latest git.
> > >
> > > Works for me.
> >
> > I guess I spoke a bit prematurely here, since the fix you pushed
> > always loads aybabtu, even when font-defaults has been redefined.
> > I've tried amending the code to allow switching to gonville-brace, but
> > it still doesn't work properly. It seems that select_font () always
> > selects the default font for fetaBraces (or the first entry in the
> > node).
>
> Changing font-defaults to
>
> #(define font-defaults
> '((font-family . gonville) (font-encoding . fetaBraces)))
>
> only loads "gonville-brace", and not "gonville". So we need to
> override both encodings. I'm not entirely sure how to do that, but
> I'll look at it shortly.
This isn't entirely true, now that I look at it again. In this case,
gonville, gonville-brace, and aybabtu are all loaded, but aybabtu is
used for the braces.
Also, I checked \numericTimeSignature, and that's broken with
gonville.
-Patrick
- Re: Alternative music font, (continued)
- Re: Alternative music font, David Kastrup, 2009/10/19
- Re: Alternative music font, Jan Nieuwenhuizen, 2009/10/19
- Re: Alternative music font, Jan Nieuwenhuizen, 2009/10/20
- Re: Alternative music font, Simon Tatham, 2009/10/20
- Re: Alternative music font, Jan Nieuwenhuizen, 2009/10/20
- Re: Alternative music font, Francisco Vila, 2009/10/20
- Re: Alternative music font, Patrick McCarty, 2009/10/20
- Re: Alternative music font, Neil Puttock, 2009/10/20
- Re: Alternative music font, Neil Puttock, 2009/10/28
- Re: Alternative music font, Patrick McCarty, 2009/10/28
- Re: Alternative music font,
Patrick McCarty <=
- Re: Alternative music font, Jan Nieuwenhuizen, 2009/10/20
Re: Alternative music font, Simon Tatham, 2009/10/19
Re: Alternative music font, Bertalan Fodor (LilyPondTool), 2009/10/19