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

[Alexander Kobel]

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?


Cheers,
Alexander