Searched refs:default_pen_size (Results 1 – 1 of 1) sorted by relevance
406 int default_pen_size; member in tpic_output411 : default_pen_size(DEFAULT_PEN_SIZE), prev_default_pen_size(DEFAULT_PEN_SIZE) in tpic_output()423 int temp = default_pen_size; in command()424 default_pen_size = prev_default_pen_size; in command()437 prev_default_pen_size = default_pen_size; in command()438 default_pen_size = temp; in command()449 printf(" \\special{pn %d}%%\n", default_pen_size); in set_pen_size()