-
- setDimCache(mi, dim);
-}
-
-
-void InsetSpecialChar::drawBackground(PainterInfo & pi, int x, int y) const
-{
- if (pi.full_repaint)
- return;
- Dimension const dim = dimension(*pi.base.bv);
- pi.pain.fillRectangle(x, y - dim.asc, dim.wid, dim.asc + dim.des,
- pi.backgroundColor(this));