Searched refs:seen_indent (Results 1 – 2 of 2) sorted by relevance
1987 int seen_indent; member in html_printer2657 seen_indent = TRUE; in do_indentation()2950 if (seen_indent || seen_pageoffset || seen_linelength || seen_temp_indent) { in do_break()2951 if (seen_indent && (! seen_temp_indent)) in do_break()2959 seen_indent = seen_temp_indent; in do_break()4185 seen_indent(FALSE), in html_printer()
1216 Add variables `seen_indent', `next_indent', `seen_pageoffset',