| post-html.cpp | 1981 int pageoffset; member in class:html_printer 2193 do_indent(get_troff_indent(), pageoffset, linelength); local 2218 current_paragraph->do_para(&html, "align=left", get_troff_indent(), pageoffset, linelength, space); 2221 current_paragraph->do_para(&html, "align=right", get_troff_indent(), pageoffset, linelength, space); 2506 current_paragraph->do_para(&html, "", get_troff_indent(), pageoffset, linelength, space); 2701 (pageoffset+device_indent != in+pageoff)) { 2707 pageoffset = pageoff; 2712 pageoffset, max_linelength, space); 2775 output_hpos = get_troff_indent()+pageoffset; 2797 output_hpos = get_troff_indent()+pageoffset; 4507 do_indent(get_troff_indent(), pageoffset, linelength); local [all...] |