[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Gestion de l'espace
|
From: |
Olivier Miakinen |
|
Subject: |
Re: Gestion de l'espace |
|
Date: |
Wed, 8 Sep 2021 13:25:09 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 |
Le 08/09/2021 13:09, Xavier Scheuer a écrit :
>
> \paper {
> markup-system-spacing.padding = #-2
> }
C'est encore plus simple, et beaucoup plus efficace. Avec la méthode de
Martial j'avais pu mettre une staff-size à 19 au lieu de 18, mais avec
la tienne (et un padding à #-7) j'ai pu revenir à 20. Parfait !