From 6bbc3c3fa4484cb50b927b1fb0d81440b1cfe2d4 Mon Sep 17 00:00:00 2001 From: Joe Neeman Date: Thu, 21 May 2009 22:17:20 -0700 Subject: [PATCH] Fix min_page_count to take page-top-space into account. --- lily/page-breaking.cc | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/lily/page-breaking.cc b/lily/page-breaking.cc index 4f096d8178..668231f63a 100644 --- a/lily/page-breaking.cc +++ b/lily/page-breaking.cc @@ -762,6 +762,12 @@ Page_breaking::min_page_count (vsize configuration, vsize first_page_num) int line_count = 0; cache_line_details (configuration); + + // If the first line on a page has titles, allow them some extra space. + if (cached_line_details_.size () + && cached_line_details_[0].compressed_nontitle_lines_count_ < cached_line_details_[0].compressed_lines_count_) + cur_page_height += page_top_space (); + for (vsize i = 0; i < cached_line_details_.size (); i++) { Real ext_len = cached_line_details_[i].extent_.length (); @@ -780,6 +786,9 @@ Page_breaking::min_page_count (vsize configuration, vsize first_page_num) cur_rod_height = ext_len; cur_spring_height = cached_line_details_[i].space_; cur_page_height = page_height (first_page_num + ret, false); + + if (cached_line_details_[i].compressed_nontitle_lines_count_ < cached_line_details_[i].compressed_lines_count_) + cur_page_height += page_top_space (); ret++; } else -- 2.39.5