On Thu, 07 Oct 2010 05:28:02 -0700, wrote:
Pertains at least to 2.13.32 and up. Lower versions not tested.
Your example looks the same when I use 2.12.3
between-staff-spacing #'padding should be relative to the actual
staff size, but it's relative to default staff size.
This sounds like
On Sat, Oct 9, 2010 at 2:41 PM, Marten Visser wrote:
> In addition, the staff space (measured in pixels) for the default settings
> (in the example you attached) is not exaclty constant as well (I expected it
> to be). The spacing for size 0 is the smallest, and __both__ size +3 and -3
> have larg
On Thu, Oct 7, 2010 at 5:24 AM, Marten Visser wrote:
>
> Pertains at least to 2.13.32 and up. Lower versions not tested.
>
> between-staff-spacing #'padding should be relative to the actual staff size,
> but it's relative to default staff size.
>
> Output for 2.13.35 is attached.
>
> -