///
InsetHFill();
///
- bool metrics(MetricsInfo &, Dimension &) const;
+ void metrics(MetricsInfo &, Dimension &) const;
///
docstring const getScreenLabel(Buffer const &) const;
///
// a line separator)?
bool isSpace() const;
private:
- virtual std::auto_ptr<Inset> doClone() const;
+ virtual Inset * clone() const;
};