///
docstring editMessage() const;
///
- void addToToc(ParConstIterator const &) const;
- ///
- docstring toolTip(BufferView const & bv, int x, int y) const;
+ void addToToc(DocIterator const &);
private:
///
Inset * clone() const { return new InsetMarginal(*this); }