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.
Actually, this turns out to be the wrong fix. If you look for
"Markuplines spacing broken: how to set a line padding?" in the
lily-devel archives, you'll see that the zero-padding for markup lines
was intentional (although there should have been a comment to make that
clear), so it is the page breaker that needs to change, not the page
layout.