/// write normalized content
void normalize(NormalStream & ns) const;
///
- bool metrics(MetricsInfo & mi, Dimension & dim) const;
+ void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void infoize(odocstream & os) const;
private:
- virtual std::auto_ptr<Inset> doClone() const;
+ virtual Inset * clone() const;
/// name of that environment
docstring name_;
};