public int mm2mils100(real mm) = floor (mm / 25.4 * 1000 * 100 + 0.5);
+ public real mils1002mm(real mils100) = mils100 * 25.4 / 100 / 1000;
+
+ public int line_thickness = 1000;
+
public void element_start(string name) {
printf ("# author: Keith Packard\n");
printf ("# email: keithp@keithp.com\n");
mm2mils100(y1),
mm2mils100(x2),
mm2mils100(y2));
- printf (" 1000]\n");
+ printf (" %d]\n", line_thickness);
}
public void rect (real x, real y, real w, real h)