+ if (getCmdName() == "tableofcontents")
+ return InsetBase::TOC_CODE;
+ return InsetBase::NO_CODE;
+}
+
+
+int InsetTOC::plaintext(Buffer const & buffer, odocstream & os,
+ OutputParams const &) const
+{
+ os << getScreenLabel(buffer) << "\n\n";
+
+ buffer.tocBackend().writePlaintextTocList(getCmdName(), os);
+
+ os << "\n";