Re: annotate-spacing in mm?

[Graham Percival]

On 30-May-06, at 3:18 PM, Han-Wen Nienhuys wrote:

> Graham Percival schreef:
> > Does annotate-spacing print values in millimeters ?  It looks like 
> > it, but I'm just double-checking before I write incorrect docs.  :)
>
> unlikely, I think staff-space, which at 20pt staff-height = 5pt  = 
> approx 1.7 mm.

Could it be a combination of values?

I just tried that "bug" example with staff size of 20 and 15.  
Top-margin, head-separation, and bottom-margin were 5, 4, and 6 in both 
examples.  ly/paper-defaults.ly contains
    top-margin = 5 \mm
    bottom-margin = 6 \mm
    head-separation = 4 \mm
    foot-separation = 4 \mm

However, with staff size 20, page-top-space=6.83 and paper-height=169.58
With staff size 15, page-top-space=9.11 and paper-height=226.11

?

- Graham