Re: note-spacing: pad accidentals from neighbor as far as from parent; issue 3869 (issue 65260044)

[Janek Warchoł]

2014-02-23 4:57 GMT+01:00  <address@hidden>:
> Reviewers: janek,
>
> Message:
>
> On 2014/02/20 22:21:37, janek wrote:
>>
>> I would add a comment
>> "TODO: this hard-coded value should be removed when
>> http://code.google.com/p/lilypond/issues/detail?id=2142
>> will be taken care of"
>
>
> What does 'hard-coded' mean here?
> If there is a setting of 'padding' padding it gets used.  If there is no
> setting at all, 0.2 is used instead.
> After you fix issue 2142 and remove the value, if make some input where
> I set padding to empty '() or ##f or something, what will happen?

Sorry, i obviously didn't understand what you wrote about surprising
grob type and why you made the change in this place.

Anyway, what you suggested in
http://code.google.com/p/lilypond/issues/detail?id=3869#c4 seems to be
a better way to handle this.  Thanks a lot!
Janek