- int const b = y - dim_.asc;
- cell(0).draw(pi, x + dw_ + 4, y);
- mathed_draw_deco(pi, x + 4, b, dw_, dim_.height(), left_);
- mathed_draw_deco(pi, x + dim_.width() - dw_ - 4,
- b, dw_, dim_.height(), right_);
- setPosCache(pi, x, y);
+ Changer dummy = pi.base.changeEnsureMath();
+ Dimension const dim = dimension(*pi.base.bv);
+ int const b = y - dim.asc;
+ int const skip = mathed_thinmuskip(pi.base.font);
+ cell(0).draw(pi, x + dw_ + skip, y);
+ mathed_draw_deco(pi, x + skip / 2, b, dw_, dim.height(), left_);
+ mathed_draw_deco(pi, x + dim.width() - dw_ - skip / 2,
+ b, dw_, dim.height(), right_);