///
explicit MathSpaceInset(std::string const & name);
///
- virtual std::auto_ptr<InsetBase> clone() const;
- ///
MathSpaceInset const * asSpaceInset() const { return this; }
///
MathSpaceInset * asSpaceInset() { return this; }
///
void write(WriteStream & os) const;
private:
+ virtual std::auto_ptr<InsetBase> doClone() const;
///
int space_;
};