Re: after-title-spacing: "space" includes title

[Joe Neeman]

On Tue, Sep 28, 2010 at 9:57 AM, Alexander Kobel <address@hidden> wrote:

> On 2010-09-28 17:59, Phil Holmes wrote:
>
>> "Mark Polesky" <address@hidden> wrote in message
>> news:address@hidden
>> Mark Polesky wrote:
>>
>>> NR 4.1.2 "Page formatting - Vertical dimensions" says...
>>>
>>> after-title-spacing:
>>> space – the amount of stretchable space between the
>>> baseline of a title and the center of the staff that
>>> follows it;
>>>
>>> But compiling a test file with annotate-spacing suggests
>>> that the "space" is measured from the *top* of a title,
>>> not the *baseline*.
>>>
>>
>> Mark,
>>
>> I can't test on 13.35 since it hasn't been released. Can you confirm
>> whether this is a problem with 13.24?
>>
>
> It is.
> The following snippet eases the recognition (at least for minimal-distance,
> but it's the same for space):
>
> \header { title =
> "MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM" }
> \paper { after-title-spacing = #'((minimum-distance . 0) (padding . -10)) }
>
> \repeat unfold 8 { c''2 c'' }
>
> Besides, sorry for not putting this to the list: <
> http://codereview.appspot.com/1710046/>  It's an issue about the correct
> description of vertical spacing variables in the docs, and I mentioned
> Mark's observation in my last update this morning.
> I'd have included the doc fix if it were for sure that the behaviour stays
> for 2.14 (which I assume - the policy on the other entries was: "document
> the current algorithm, and don't change anything unless a user gives
> reasonable complaints").
>
> @ Mark: Is it only that the docs are plain wrong, or do you really need the
> baseline-alignment for some reason?
>
> @ Joe: That said, I think the baseline of the bottommost line of the header
> would be the natural place to measure the space from, since one does not
> have to change the spacing alist when adding a new header field.  Do I miss
> something there?  Would that be a lot of trouble to change?
>

Yes, it would be the most natural thing. Actually, the spacing code uses the
origin of the markup as the position from which to measure space. It used to
be that the Y-coordinate of the origin was the baseline, but maybe that's
changed? Anyway, that's the first place I would check.

HTH,
Joe