7 parse_dimen(String dim)
9 int i=dim.length_i()-1;
11 while (i > 0 && (isspace(s[i]) || isalpha(s[i])) ){
15 return convert_dimen(dim.value_f(), unit);
20 convert_dimen(Real quant, String unit)
23 return quant * CM_TO_PT;
27 return quant*CM_TO_PT/10;
29 return quant * INCH_TO_PT;
30 error ("unknown length unit: `" + unit+"'");