On Mon, 2010-05-17 at 23:58 -0400, Boris Shingarov wrote: > Hi Joe, > > >>> 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. > > > > So, something like the attached patch?
Thanks, I'll take a look. I'm on holiday in Thailand right now, though, so it might be a little while... _______________________________________________ bug-lilypond mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-lilypond
