Make the generation of children's tocs more robust

[features.git] / src / insets / InsetIndex.h

diff --git a/src/insets/InsetIndex.h b/src/insets/InsetIndex.h
index 42d67615b907e2535c254bdf7dd873a188a18694..80d8149bc4cab58a93814baafe6eef8270800343 100644 (file)
--- a/src/insets/InsetIndex.h
+++ b/src/insets/InsetIndex.h
@@ -71,7 +71,8 @@ private:
        /// 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,
+                                 UpdateType utype, TocBackend & backend) const;
        ///
        docstring toolTip(BufferView const & bv, int x, int y) const;
        ///
@@ -82,6 +83,8 @@ private:
        std::string contextMenuName() const;
        ///
        Inset * clone() const { return new InsetIndex(*this); }
+       /// Is the content of this inset part of the immediate text sequence?
+       bool isPartOfTextSequence() const { return false; }
 
        ///
        friend class InsetIndexParams;