Re: Page Spacer gets confused by next-space leading to unusable layout

[Joe Neeman]

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