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 <j...@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 >
