From c92b1aa35960b9ccf84d6e44154d7cc09d65fe4e Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Thu, 4 Aug 2016 21:09:32 -0400 Subject: [PATCH] Special characters should be output to the TOC. (cherry picked from commit f15c4159aa9fa1c78b7b642e58edbff333292d5a) --- src/insets/InsetSpecialChar.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/insets/InsetSpecialChar.h b/src/insets/InsetSpecialChar.h index a5761864d8..ebdfb1a6e4 100644 --- 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; } -- 2.39.5