- font_size *= (int) merged_face.property[MFACE_RATIO];
- font_size /= 100;
- merged_face.property[MFACE_SIZE] = (void *) font_size;
- merged_face.property[MFACE_RATIO] = 0;
+ if (font_size < 0)
+ font_size = - font_size * frame->dpi / 72.27;
+ if ((int) merged_face.property[MFACE_RATIO] != 100)
+ {
+ font_size *= (int) merged_face.property[MFACE_RATIO];
+ font_size /= 100;
+ merged_face.property[MFACE_RATIO] = 0;
+ }
+ ifont_size = font_size + 0.5;
+ merged_face.property[MFACE_SIZE] = (void *) ifont_size;