Searched refs:target_text_length (Results 1 – 3 of 3) sorted by relevance
904 return target_text_length + saved_indent; in get_saved_line_length()1724 hunits x = target_text_length - width_total; in newline()1734 hunits x = target_text_length - width_total; in newline()1842 target_text_length = line_length - saved_indent; in start_line()1895 if (bp->width <= target_text_length) { in choose_breakpoint()1916 && (((target_text_length - bp->width in choose_breakpoint()1921 : target_text_length - bp->width <= hyphenation_margin)) { in choose_breakpoint()2083 || (width_total - line->width()) > target_text_length)) { in possibly_break_line()2099 extra_space_width = target_text_length - bp->width; in possibly_break_line()2100 else if (bp->width > 0 && target_text_length > 0 in possibly_break_line()[all …]
183 hunits target_text_length; variable
115 curenv->target_text_length = curdiv->saved_target_text_length; in do_divert()141 curdiv->saved_target_text_length = curenv->target_text_length; in do_divert()