Engraving options>Fingering>Size of fingering on grace notes
“Scaled to grace note size” produces finger numbers that are quite small and not to everyone’s taste. Many standard editions use numbers that are larger than this but smaller than full size. Is there an option to set an exact size? At present I have selected “Scaled to grace note size” in the Engraving Options and I am rescaling them to 125% in the bottom panel.