///
explicit MathSpaceInset(int sp);
///
- explicit MathSpaceInset(string const & name);
- ///
- virtual std::auto_ptr<InsetBase> clone() const;
+ explicit MathSpaceInset(std::string const & name);
///
MathSpaceInset const * asSpaceInset() const { return this; }
///
///
void incSpace();
///
+ int ascent() const;
+ ///
+ int descent() const;
+ ///
+ int width() const;
+ ///
void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo & pi, int x, int y) const;
///
void write(WriteStream & os) const;
private:
+ virtual std::auto_ptr<InsetBase> doClone() const;
///
int space_;
};