[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Page Spacer gets confused by next-space leading to unusable layout
From: |
Joe Neeman |
Subject: |
Re: Page Spacer gets confused by next-space leading to unusable layout |
Date: |
Thu, 14 Jan 2010 14:49:07 +1100 |
On Wed, 2010-01-13 at 12:37 -0500, Boris Shingarov wrote:
> Quoting Joe Neeman <address@hidden>:
>
> > > confused by the setting of next-space (1.0 by default).
> >
> > Thanks for finding this. next-space is deprecated, so this is a bug.
>
> What's the correct fix then? Remove the whole mention of next-space in
> the Page Spacer altogether?
Yes. I already made a patch for this, so don't worry about it.
> > > Similarly, nonzero padding in "between-title-spacing" produces the
> > > same bad look. I have to set it to 0.0 in the score:
> > >
> > > \paper {
> > > #(set-paper-size "a6")
> > > between-title-spacing = #'((padding . 0))
> > > }
> >
> > Are you proposing that this be the default?
>
> Not at all.
> What I am saying is that the page spacer's interpretation of padding is
> broken, because it takes the padding into account when estimating the
> page layout, but completely ignores it when actually laying out the
> page, screwing up the whole output.
> My suspicion is that it is because of "tight-spacing" property
> (Page_spacer::solve() and friends ignore it, and the later actual
> formatting stage observes it), but I haven't proven that theory.
The fact that tight-spacing ignores padding is probably a bug. Do things
work better if you change minimum_distance to (minimum_distance +
padding) in page-layout-problem.cc:286?
Joe