///
MathBraceInset(MathArray const & ar);
///
- virtual std::auto_ptr<InsetBase> clone() const;
+ std::auto_ptr<InsetBase> clone() const;
+ ///
+ MathBraceInset const * asBraceInset() const { return this; }
/// we write extra braces in any case...
bool extraBraces() const { return true; }
///
void mathmlize(MathMLStream &) const;
///
void infoize(std::ostream & os) const;
-
-private:
- /// width of brace character
- mutable int wid_;
};
#endif