class MathNumberInset : public MathInset {
public:
///
- explicit MathNumberInset(string const & s);
- ///
- virtual std::auto_ptr<InsetBase> clone() const;
+ explicit MathNumberInset(std::string const & s);
///
void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo &, int x, int y) const;
///
- string str() const { return str_; }
+ std::string str() const { return str_; }
///
MathNumberInset * asNumberInset() { return this; }
void write(WriteStream & os) const;
private:
+ virtual std::auto_ptr<InsetBase> doClone() const;
/// the number as string
- string str_;
+ std::string str_;
};
#endif