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

[address@hidden]

On 8 févr. 2013, at 09:16, David Kastrup <address@hidden> wrote:

> "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?

It's gonna take me some time to have a look at it - I'll do my best to check it 
out on Sunday.

Cheers,
MS