On Mon, 11 Apr 2022 at 12:59, Paul Hodges <
pwh@cassland.org> wrote:
>
> I am in the last stages of preparing a score for publication. I am using the Bravura font rather than Feta, because the publishers agree that it provides the best general match for other publications in the same series. However, I am adding a few tweaks to improve the matching further - I have modified \tempo output simply by using markup, and I have found I can thicken hairpin lines slightly using the "thickness" property.
>
> However, I'd also like to slightly increase the size of dots (both augmentation and staccato, in proportion of course), and finding the tweak for this has defeated me. I wonder if it's the "Y-extent" property - but this doesn't feel right; I'd expect something like "size", but that doesn't seem to be available for dots.
>
> Can some kind soul point me in the right direction for this, please?
Hello Paul,
font-size is what you are looking for. All the grobs that support a font-interface can use this.
For augmentation dots:
\override Dots.font-size = #2
For staccato you might want to change the font-size of staccato only in the list of scripts. See for example
Cheers,
Xavier
--