dy_ = dim.des + 1;
dim.des += dh_ + 2;
}
-
- metricsMarkers(mi, dim);
}
{
Changer dummy = pi.base.changeEnsureMath(currentMode());
- cell(0).draw(pi, x + 1, y);
+ cell(0).draw(pi, x, y);
Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
if (wide())
mathed_draw_deco(pi, x + 1, y + dy_, dim0.wid, dh_, key_->name);
else
mathed_draw_deco(pi, x + 1 + (dim0.wid - dw_) / 2,
y + dy_, dw_, dh_, key_->name);
- drawMarkers(pi, x, y);
}
buildTranslationMap(t);
return t;
}
-}
+} // namespace
void InsetMathDecoration::mathmlize(MathStream & os) const
{