Quoting Joe Neeman <joenee...@gmail.com>:
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 _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org http://lists.gnu.org/mailman/listinfo/bug-lilypond
