///
InsetMathFrameBox();
///
- bool metrics(MetricsInfo & mi, Dimension & dim) const;
+ void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo & pi, int x, int y) const;
///
///
mode_type currentMode() const { return TEXT_MODE; }
private:
- virtual std::auto_ptr<Inset> doClone() const;
+ virtual Inset * clone() const;
/// width of '[' in current font
mutable int w_;
};