Searched refs:current_font_number (Results 1 – 1 of 1) sorted by relevance
762 int current_font_number; member in troff_output_file1183 if (current_font_number != n) { in set_font()1187 current_font_number = n; in set_font()1495 current_font_number = -1; in really_begin_page()1530 current_font_number = -1; in really_copy_file()