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

[address@hidden]

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.

Cheers,
MS