///
void draw(PainterInfo & pi, int x, int y) const;
///
- void metrics(MetricsInfo & mi) const;
+ void metrics(MetricsInfo & mi, Dimension & dim) const;
///
- MathInset * clone() const;
+ virtual std::auto_ptr<InsetBase> clone() const;
///
void dump() const;