2 #include "math_inferinset.h"
3 #include "math_support.h"
4 #include "frontends/Painter.h"
5 #include "math_mathmlstream.h"
6 #include "textpainter.h"
9 MathInferInset::MathInferInset()
14 MathInset * MathInferInset::clone() const
16 return new MathInferInset(*this);
20 void MathInferInset::metrics(MetricsInfo &) const
25 void MathInferInset::draw(PainterInfo &, int, int) const
30 void MathInferInset::write(WriteStream & os) const
34 os << '[' << opt_ << ']';
35 MathGridInset::write(os);