[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
fetaBraces
From: |
Jean Abou Samra |
Subject: |
fetaBraces |
Date: |
Tue, 14 Mar 2023 10:31:37 +0100 |
User-agent: |
Evolution 3.46.4 (3.46.4-1.fc37) |
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
signature.asc
Description: This is a digitally signed message part
- fetaBraces,
Jean Abou Samra <=
- Re: fetaBraces, Abraham Lee, 2023/03/14
- Re: fetaBraces, Jean Abou Samra, 2023/03/14
- Re: fetaBraces, Abraham Lee, 2023/03/14
- Re: fetaBraces, Luca Fascione, 2023/03/14
- Re: fetaBraces, Jean Abou Samra, 2023/03/14
- Re: fetaBraces, Luca Fascione, 2023/03/15
- Re: fetaBraces, Jean Abou Samra, 2023/03/15
- Re: fetaBraces, Jean Abou Samra, 2023/03/14
- Re: fetaBraces, Abraham Lee, 2023/03/14
- Re: fetaBraces, Jean Abou Samra, 2023/03/26