class InsetMathEnv : public InsetMathNest {
public:
///
- InsetMathEnv(std::string const & name_);
+ InsetMathEnv(docstring const & name_);
///
void draw(PainterInfo &, int x, int y) const;
///
/// write normalized content
void normalize(NormalStream & ns) const;
///
- void metrics(MetricsInfo & mi, Dimension & dim) const;
+ bool metrics(MetricsInfo & mi, Dimension & dim) const;
///
- void infoize(std::ostream & os) const;
+ void infoize(odocstream & os) const;
private:
- virtual std::auto_ptr<InsetBase> doClone() const;
+ virtual std::auto_ptr<Inset> doClone() const;
/// name of that environment
- std::string name_;
+ docstring name_;
};