[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Custom Music font doesn't scale with staff
|
From: |
Jean Abou Samra |
|
Subject: |
Re: Custom Music font doesn't scale with staff |
|
Date: |
Mon, 21 Nov 2022 21:58:44 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.4.1 |
Le 21/11/2022 à 21:57, Abraham Lee a écrit :
If you do that, it resets the font tree back to Emmentaler.
So, the order is correct, the set-global-fonts command is just
incomplete (see my other response).
Oops, sorry, I was going too fast.
Best,
Jean
OpenPGP_signature
Description: OpenPGP digital signature