char_width 806 src/prt2pdf/prt2pdf.c float char_width = GLOBAL_FONT_SIZE * 0.6; char_width 845 src/prt2pdf/prt2pdf.c float x_start = GLOBAL_PAGE_MARGIN_LEFT + (j * char_width); char_width 846 src/prt2pdf/prt2pdf.c (void)printf ("%f %f m %f %f l S\n", x_start, y_underline, x_start + char_width, y_underline); char_width 852 src/prt2pdf/prt2pdf.c (void)printf ("1 0 0 1 %f %f Tm\n", GLOBAL_PAGE_MARGIN_LEFT + (j * char_width), GLOBAL_YPOS); char_width 865 src/prt2pdf/prt2pdf.c float x_start = GLOBAL_PAGE_MARGIN_LEFT + (j * char_width); char_width 866 src/prt2pdf/prt2pdf.c (void)printf ("%f %f m %f %f l S\n", x_start, y_underline, x_start + char_width, y_underline);