|
From: | Malte Meyn |
Subject: | Re: Fontsize ornaments |
Date: | Sun, 3 Dec 2017 09:51:11 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.3.0 |
Am 03.12.2017 um 09:47 schrieb Malte Meyn:
You can change this by copying the definition of general-grace-settings/score-grace-settings and commenting out the Fingering.font-size.
Of course, you can adjust the value instead of commenting the whole line out if you want smaller but not so small numbers for graces ;)
[Prev in Thread] | Current Thread | [Next in Thread] |