/// 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;
///
/// Updates needed features for this inset.
void validate(LaTeXFeatures & features) const;
///
- docstring contextMenuName() const;
+ std::string contextMenuName() const;
///
Inset * clone() const { return new InsetIndex(*this); }
///
bool getStatus(Cursor &, FuncRequest const &, FuncStatus &) const;
///
- docstring contextMenuName() const;
+ std::string contextMenuName() const;
/// Updates needed features for this inset.
void validate(LaTeXFeatures & features) const;
///