Re: Did VerticalAxisGroup default-staff-staff-spacing stop respecting padding in 2.17.10?

[David Kastrup]

"address@hidden" <address@hidden> writes:

> On 8 févr. 2013, at 08:55, David Kastrup <address@hidden> wrote:
>
>> "Keith OHara" <address@hidden> writes:
>> 
>>> Probably you should adjust your solution, because Mike's next patch
>>> completely removes lines of music that have only zero-size extents.
>> 
>> Then maybe Mike's next patch should get reverted or not committed
>> since it would obliterate the important difference between
>> point-stencil and null-stencil.
>
> This is not what the patch does.

So what's the advice for Trevor going to be?

-- 
David Kastrup