Le 04/04/2022 à 00:18, Paul Hodges a écrit :
I thought the unit to be staff space, scaled according to the chosen size.
Good remark. From experiments, I see that global-set-staff-size indeed affects it, but not layout-set-staff-size. Staff sizes is a complicated business that I never really took the time to delve into ...
Jean
