Searched defs:set_numbered_char (Results 1 – 2 of 2) sorted by relevance
238 void printer::set_numbered_char(int num, const environment *env, int *widthp) in set_numbered_char() function in printer
4387 void html_printer::set_numbered_char(int num, const environment *env, in set_numbered_char() function in html_printer