///
InsetMathBrace();
///
- InsetMathBrace(MathArray const & ar);
+ InsetMathBrace(MathData const & ar);
+ /// identifies brace insets
+ InsetMathBrace * asBraceInset() { return this; }
+ /// identifies brace insets
+ InsetMathBrace const * asBraceInset() const { return this; }
/// we write extra braces in any case...
bool extraBraces() const { return true; }
///
- bool metrics(MetricsInfo & mi, Dimension & dim) const;
+ void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo &, int x, int y) const;
///
void mathmlize(MathStream &) const;
///
void infoize(odocstream & os) const;
-
- /// identifies brace insets
- InsetMathBrace * asBraceInset() { return this; }
- /// identifies brace insets
- InsetMathBrace const * asBraceInset() const { return this; }
private:
- virtual std::auto_ptr<InsetBase> doClone() const;
+ virtual Inset * clone() const;
};