[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: |
Boris Shingarov |
Subject: |
Re: Page Spacer gets confused by next-space leading to unusable layout |
Date: |
Tue, 26 Jan 2010 12:58:33 -0500 |
User-agent: |
Webmail 5.0 |
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