7 parse_dimen (String dim)
9 int i=dim.length_i()-1;
11 while (i > 0 && (isspace (s[i]) || isalpha (s[i]))){
14 String unit (s + i+1);
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+"'");