/// should paragraph indendation be omitted in any case?
bool neverIndent() const { return true; }
///
- void addToToc(DocIterator const &) const;
+ void addToToc(DocIterator const & di, bool output_active) const;
///
docstring toolTip(BufferView const & bv, int x, int y) const;
///