break;
case BOX:
d = theFontMetrics(mi.base.font).dimension('I');
- d.wid += e.before + e.after;
+ // allow for one pixel in front of the box.
+ d.wid += e.before + e.after + 1;
break;
}
Dimension const d = theFontMetrics(pi.base.font).dimension('I');
// the box is not visible in non-editable context (except for grey macro boxes).
if (e.color != Color_none)
- pi.pain.rectangle(x + e.before, y - d.ascent(),
+ pi.pain.rectangle(x + e.before + 1, y - d.ascent(),
d.width() - 1, d.height() - 1, e.color);
x += d.wid + e.before + e.after;
break;