if (elt.type == STRING) {
dim_.wid -= elt.dim.wid;
- elt.dim.wid = theFontMetrics(elt.font).width(elt.str);
+ FontMetrics const & fm = theFontMetrics(elt.font);
+ elt.dim.wid = fm.width(elt.str);
dim_.wid += elt.dim.wid;
+ dim_.asc = fm.maxAscent() + fm.leading();
+ dim_.des = fm.maxDescent();
}
}