Searched refs:device_indent (Results 1 – 2 of 2) sorted by relevance
1983 int device_indent; member in html_printer2192 device_indent = 0; in restore_troff_indent()2700 if ((device_indent != -1) && in do_indent()2701 (pageoffset+device_indent != in+pageoff)) { in do_indent()2706 device_indent = in; in do_indent()2711 current_paragraph->do_para(&html, "", device_indent, in do_indent()4182 device_indent(0), in html_printer()
1215 Add variables `troff_indent', `device_indent', `temp_indent'.