Searched refs:output_pen_size (Results 1 – 1 of 1) sorted by relevance
186 int output_pen_size; member in draw_dvi_printer221 : output_pen_size(-1) in draw_dvi_printer()541 output_pen_size = -1; in end_page()681 if (desired_pen_size != output_pen_size) { in set_line_thickness()685 output_pen_size = desired_pen_size; in set_line_thickness()