OutputParams const &) const;
///
virtual docstring const editMessage() const;
+ /// Update the counters of this inset and of its contents
+ void updateLabels(Buffer const &, ParIterator const &);
+
protected:
InsetFoot(InsetFoot const &);
private:
- virtual std::auto_ptr<Inset> doClone() const;
+ virtual Inset * clone() const;
};