Re: fetaBraces

[Abraham Lee]

Hi, Jean!

I am aware of individuals that appreciate the ability to mix and match
fonts, including the brace font. In fact, I would guess that the more
common combo is to use another music font with Emmentaler braces. I do
believe this is a corner case and maybe it should be changed with some
logic that assumes that #:brace is supposed to match #:music, since that is
far more common, and then when someone wants to mix and match, they have to
do it explicitly?

My 2 cents,
Abraham

On Tue, Mar 14, 2023 at 3:31 AM Jean Abou Samra <jean@abou-samra.fr> wrote:

> Hi,
>
> Quick question : is there any use case for passing a different brace font
> than the general music font to set-global-fonts? Would it make sense to
> get rid of this #:brace parameter, or at least make it default to the
> #:music parameter?
>
> Thanks,
>
> Jean
>