// compressed.title_ is true if and only if the first of its
// compressed lines was a title.
compressed.title_ = old.title_;
-
- // take care of footnotes
+
+ // adds footnotes of one line to the footnotes of another
compressed.footnotes_.insert (compressed.footnotes_.begin (),
old.footnotes_.begin (), old.footnotes_.end ());
if (footnote_separator)
{
Interval separator_extent = footnote_separator->extent (Y_AXIS);
- Real separator_span = max (separator_extent[UP] - separator_extent[DOWN], 0.0);
+ Real separator_span = separator_extent.length ();
footnote_separator_stencil_height_ = separator_span;
}
footnote_separator_stencil_height_ = 0.0;
footnote_padding_ = robust_scm2double (pb->paper_->c_variable ("footnote-padding"), 0.0);
+ footnote_footer_padding_ = robust_scm2double (pb->paper_->c_variable ("footnote-footer-padding"), 0.0);
if (systems_per_page_ && (max_systems_per_page_ || min_systems_per_page_))
{
return footnote_padding_;
}
+Real
+Page_breaking::footnote_footer_padding () const
+{
+ return footnote_footer_padding_;
+}
+
bool
Page_breaking::too_many_lines (int line_count) const
{