Special characters should be output to the TOC.

(cherry picked from commit f15c4159aa9fa1c78b7b642e58edbff333292d5a)

diff --git a/src/insets/InsetSpecialChar.h b/src/insets/InsetSpecialChar.h
index a5761864d8ca1cce7d6461067312b98d7eb09574..ebdfb1a6e4f42754be5c731d5d19114d3744d41e 100644 (file)
--- a/src/insets/InsetSpecialChar.h
+++ b/src/insets/InsetSpecialChar.h
@@ -78,6 +78,8 @@ public:
        ///
        void toString(odocstream &) const;
        ///
+       bool isInToc() const { return true; }   
+       ///
        void forOutliner(docstring &, size_t const, bool const) const;
        ///
        InsetCode lyxCode() const { return SPECIALCHAR_CODE; }