#include "frontends/Painter.h"
#include <ostream>
+#include <algorithm>
using namespace std;
{
Dimension dim0;
cell(0).metrics(mi, dim0);
- Dimension t = theFontMetrics(mi.base.font).dimension('{');
+ FontInfo font = mi.base.font;
+ augmentFont(font, "mathnormal");
+ Dimension t = theFontMetrics(font).dimension('{');
dim.asc = max(dim0.asc, t.asc);
dim.des = max(dim0.des, t.des);
dim.wid = dim0.width() + 2 * t.wid;
- metricsMarkers(dim);
}
void InsetMathBrace::draw(PainterInfo & pi, int x, int y) const
{
FontInfo font = pi.base.font;
+ augmentFont(font, "mathnormal");
font.setShape(UP_SHAPE);
font.setColor(Color_latex);
Dimension t = theFontMetrics(font).dimension('{');
cell(0).draw(pi, x + t.wid, y);
Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
pi.pain.text(x + t.wid + dim0.width(), y, '}', font);
- drawMarkers(pi, x, y);
}
-void InsetMathBrace::write(WriteStream & os) const
+void InsetMathBrace::write(TeXMathStream & os) const
{
os << '{' << cell(0) << '}';
}
}
-void InsetMathBrace::mathmlize(MathStream & os) const
+void InsetMathBrace::mathmlize(MathMLStream & ms) const
+{
+ ms << MTag("mrow") << cell(0) << ETag("mrow");
+}
+
+
+void InsetMathBrace::htmlize(HtmlStream & os) const
{
- os << MTag("mrow") << cell(0) << ETag("mrow");
+ os << cell(0);
}