7 const Real INCH_TO_PT
=72.0;
8 const Real CM_TO_PT
=INCH_TO_PT
/2.54;
9 const Real MM_TO_PT
=CM_TO_PT
/10;
10 const Real PT_TO_PT
=1.0;
15 #define INCH *INCH_TO_PT
17 Real
parse_dimen(String
);
18 String
print_dimen(Real
);
19 Real
convert_dimen(Real
, String
);