///
void forToc(docstring &, size_t) const;
///
- void addToToc(DocIterator const &) const;
+ void addToToc(DocIterator const & di, bool output_active) const;
///
Inset * clone() const { return new InsetText(*this); }
///
///
ColorCode frame_color_;
///
- mutable pit_type old_pit;
- ///
mutable Text text_;
};