Re: Leave of offliness

[Alexander Kobel]

Hi David,

On 2017-04-11 12:18 PM, David Kastrup wrote:
> Alexander Kobel <address@hidden> writes:
>
> > What /is/ slightly annoying and IMHO should be changed as soon as
> > possible is the extendersOverRests default value. (Note that I
> > didn't have /any/ time to care about Lilypond since March, so I
> > could very well have missed a revert of that default.)
>
> The default has been the same for years, it's just that it was
> ignored. What I did was to stop it from being ignored.

Yes, that's very welcome.

> This change has not been reverted, but by now the default was changed
> to be that what it effectively was by being ignored.
>
> So this is more or less dealt with.

Ah, perfect.  I didn't spot that last change.  I guess that's a sensible 
way to deal with the unexpected (or, at least, undocumented) side 
effects of extendersOverRests for the time being.


Thanks a lot!
Alexander