Searched refs:target_text_length (Results 1 – 3 of 3) sorted by relevance
902 return target_text_length + saved_indent; in get_saved_line_length()1722 hunits x = target_text_length - width_total; in newline()1732 hunits x = target_text_length - width_total; in newline()1840 target_text_length = line_length - saved_indent; in start_line()1893 if (bp->width <= target_text_length) { in choose_breakpoint()1914 && (((target_text_length - bp->width in choose_breakpoint()1919 : target_text_length - bp->width <= hyphenation_margin)) { in choose_breakpoint()2081 || (width_total - line->width()) > target_text_length)) { in possibly_break_line()2097 extra_space_width = target_text_length - bp->width; in possibly_break_line()2098 else if (bp->width > 0 && target_text_length > 0 in possibly_break_line()[all …]
181 hunits target_text_length; variable
113 curenv->target_text_length = curdiv->saved_target_text_length; in do_divert()139 curdiv->saved_target_text_length = curenv->target_text_length; in do_divert()