|
From: | Jean Abou Samra |
Subject: | Re: Grilles harmoniques, nouvelle version |
Date: | Thu, 9 Jun 2022 22:40:35 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.1 |
Le 09/06/2022 à 22:30, Vincent Gay a écrit :
Le 09/06/2022 à 20:44, Jean Abou Samra a écrit :o Si je diminue le global staff size la hauteur des cases diminue en même temps. Logique mais dommage :(Oh, pourquoi dommage ? J'avais bien pris soin d'ajouter des tests pour être sûr que ça marche…C'eut été une manière simple d'aérer des cases trop remplies. Mais c'est pas grave.
Et le \override GridChordName.font-size ne te plaît pas ? Moi, en tous cas, ça me paraît plus logique que #(global-set-staff-size ...) change la taille des cases. (D'ailleurs, en l'état, ce serait compliqué à implémenter.)
[Prev in Thread] | Current Thread | [Next in Thread] |