///
~InsetVSpace();
///
- void metrics(MetricsInfo & mi, Dimension & dim) const;
+ bool metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo & pi, int x, int y) const;
///
private:
virtual std::auto_ptr<InsetBase> doClone() const;
///
- std::string const label() const;
+ docstring const label() const;
///
VSpace space_;