/// Update the counters of this inset and of its contents
void updateLabels(ParIterator const &);
///
- void addToToc(ParConstIterator const &) const;
+ void addToToc(DocIterator const &);
+ ///
+ docstring toolTip(BufferView const & bv, int x, int y) const;
///
Inset * clone() const { return new InsetFoot(*this); }
+ ///
+ docstring custom_label_;
};