Searched refs:saved_indent (Results 1 – 3 of 3) sorted by relevance
902 return target_text_length + saved_indent; in get_saved_line_length()958 return saved_indent; in get_saved_indent()1724 saved_indent += x/2; in newline()1734 saved_indent += x; in newline()1770 hunits d = line_length + margin_character_distance - saved_indent - width; in output_line()1794 if (!saved_indent.is_zero()) in output_line()1795 nn = new hmotion_node(saved_indent, get_fill_color(), nn); in output_line()1796 width += saved_indent; in output_line()1835 saved_indent = temporary_indent; in start_line()1839 saved_indent = indent; in start_line()[all …]
180 hunits saved_indent; variable
112 curenv->saved_indent = curdiv->saved_saved_indent; in do_divert()138 curdiv->saved_saved_indent = curenv->saved_indent; in do_divert()