Re: vertical spacing bugs

[Patrick McCarty]

Hi Mark,

On Fri, Sep 05, 2008 at 01:20:47AM +0000, Mark Polesky wrote:
> Brief:
> 
> top-margin, bottom-margin, head-separation, and foot-separation display (in 
> the pdf output) larger than requested in the \paper block.

I can confirm this observation too.

> Here's what I found:
> 
>   paper-height = 100m (correct)
>   page-top-space = 12mm (correct)
> 
>   top-margin = about 9mm
>   bottom-margin = about 10.5mm
>   head-separation = about 7mm
>   foot-separation = about 9mm
> 
> That is, paper-height and page-top-space are correct.
> 
> Side note #1: annotate-spacing confusingly displays these two values in 
> staff-space units instead of millimeters. Maybe there's a good reason, but 
> the confusing output should be clarified, I think.

This is true.  I agree.  In fact, it would be nice if annotate-spacing
printed the measurements and units exactly as specified in the \paper
block.

> Anyway, the outputs of the remaining four values (top- and bottom-margin, 
> head- and foot-separation) are all consistently too large by a factor of 
> about 1.775 or so.

I have measured everything closely, too, and this seems correct.  I
could be wrong, but it seems these four measurements are being treated
as *staff-spaces* instead of millimeters.  So instead of the
bottom-margin being 6 millimeters, it is 6 staff-spaces.  This would
explain the scaling factor you are seeing.

> Side note #2: On my way here, I think I passed by some horizontal-margin 
> spacing bugs, too, but I'll have to catalog those later.

On my end, the horizontal measurements seem to be accurate.  I created
a test case with modified paper-width, line-width, left-margin,
indent, and short-indent settings, and everything checked out okay.

> Hope this helps, and THANK YOU!

Well thank you too!  This is a very clear and accurate bug report,
AFAICS.  I am looking into the source of the bugs.

Regards,
Patrick

> _______________________
> 
> \version "2.11.57-1"
> 
> { c''4 }
> 
> \paper {
>   annotate-spacing = ##t
>   paper-width = 100\mm
>   paper-height = 100\mm  %annotate-spacing displays in staff-space units
>   top-margin = 5\mm
>   head-separation = 4\mm
>   page-top-space = 12\mm  %annotate-spacing displays in staff-space units
>   foot-separation = 4\mm
>   bottom-margin = 6\mm
> }