|
| From: | Jean Abou Samra |
| Subject: | Re: partition d'orchestre |
| Date: | Tue, 28 Jun 2022 10:25:47 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.10.0 |
Le 28/06/2022 à 08:50, Christian LE BARS a écrit :
bonjour Vincent. Ta méthode fonctionne. Mais je ne comprend pas pourquoi!
Le problème, c'est que layout-set-staff-size, tout en changeant la taille, réinitialise toutes les polices aux valeurs par défaut, d'où la nécessité de les remettre après.
Cordialement, Jean
| [Prev in Thread] | Current Thread | [Next in Thread] |