1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#include "defn.h" linesize() { int ipen = 0; float linewidth; if (SIGNED_NUMERIC) ipen = getval() - 1; if (ipen < 0 || ipen > 8) ipen = 0; linewidth = pen_size[ipen] * SCALE; /* In mm */ printf("%g mm setlinewidth\n", linewidth); }