Searched refs:min_whitespace_at_bottom_of_page (Results 1 – 6 of 6) sorted by relevance
150 Real min_whitespace_at_bottom_of_page (Line_details const &) const;
148 Real min_whitespace_at_bottom_of_page (Line_details const &) const;
34 - breaker_->min_whitespace_at_bottom_of_page (last_line_); in calc_force()
1164 + min_whitespace_at_bottom_of_page (cur); in min_page_count()1206 cur_page_height -= min_whitespace_at_bottom_of_page (cached_line_details_.back ()); in min_page_count()1695 Page_breaking::min_whitespace_at_bottom_of_page (Line_details const &line) const in min_whitespace_at_bottom_of_page() function in Page_breaking
37 - breaker_->min_whitespace_at_bottom_of_page (last_line_); in calc_force()
1177 + min_whitespace_at_bottom_of_page (cur); in min_page_count()1219 cur_page_height -= min_whitespace_at_bottom_of_page (cached_line_details_.back ()); in min_page_count()1719 Page_breaking::min_whitespace_at_bottom_of_page (Line_details const &line) const in min_whitespace_at_bottom_of_page() function in Page_breaking