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)
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)
d.width() - 1, d.height() - 1, e.color);
x += d.wid + e.before + e.after;
break;
d.width() - 1, d.height() - 1, e.color);
x += d.wid + e.before + e.after;
break;