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

[Boris Shingarov]

Quoting Joe Neeman <address@hidden>:

> 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?

As I had posted earlier, changing to (minimum_distance+padding) does 
fix exactly the issue I was referring to. 
What should we do with it at this point, so that we can see some 
progress?  Shall I open a codereview issue on this one line?  doesn't 
really seem appropriate, as Joe is the real author of this proposed 
change. 

It now turns out that there are probably other problems similar to 
this.  Yes, changing to  (minimum_distance+padding) does solve the case 
when there are only markup lines; but when there is music embedded, the 
breaker and the spacer still somehow diverge -- one can still see a lot 
of white space at the bottom of pages. 
I'll investigate which variable now causes this.  (I do it by measuring 
the distances in the final PDF and comparing them to what the estimator 
feeds into the page breaker -- this is how I narrowed down the padding 
issue and hopefully this debugging strategy will help with this other 
case too). 

Boris Shingarov
Work on Lilypond under grant from Sonus Paradisi / Jiri Zurek (Prague),
Czech Science Foundation, Project No. 401/09/0419