Searched refs:separator_extent (Results 1 – 2 of 2) sorted by relevance
273 Interval separator_extent = footnote_separator.extent (Y_AXIS); in Page_breaking() local274 Real separator_span = separator_extent.length (); in Page_breaking()
264 Interval separator_extent = footnote_separator.extent (Y_AXIS); in Page_breaking() local265 Real separator_span = separator_extent.length (); in Page_breaking()