Re: vertical spacing bugs

[Mark Polesky]

Patrick,

I think you might be right.

> ... So instead of the bottom-margin being 6 millimeters, it is 6
> staff-spaces. This would explain the scaling factor you are seeing.

The margins look right if I put #(set-global-staff-size 12) in the file.
Of course, this doesn't solve the problem, but it does support your theory.
Even so, asking for 6 millimeters and getting 6 staff-spaces is still a bug.

> > 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'll post a separate "horizontal spacing" message.

Thanks again for your help.

Mark