+void MathBoxInset::metrics(MetricsInfo & mi, Dimension & dim) const
+{
+ FontSetChanger dummy(mi.base, "textnormal");
+ cell(0).metrics(mi, dim);
+ metricsMarkers(dim);
+ dim_ = dim;
+}
+
+
+void MathBoxInset::draw(PainterInfo & pi, int x, int y) const