- cell(0).metrics(mi);
- Dimension t = theFontMetrics(mi.base.font).dimension('{');
- dim.asc = max(cell(0).ascent(), t.asc);
- dim.des = max(cell(0).descent(), t.des);
- dim.wid = cell(0).width() + 2 * t.wid;
+ Dimension dim0;
+ cell(0).metrics(mi, dim0);
+ FontInfo font = mi.base.font;
+ augmentFont(font, "mathnormal");
+ Dimension t = theFontMetrics(font).dimension('{');
+ dim.asc = max(dim0.asc, t.asc);
+ dim.des = max(dim0.des, t.des);
+ dim.wid = dim0.width() + 2 * t.wid;