+void InsetMarginal::addToToc(Buffer const & buf,
+ ParConstIterator const & cpit) const
+{
+ ParConstIterator pit = cpit;
+ pit.push_back(*this);
+
+ Toc & toc = buf.tocBackend().toc("marginalnote");
+ docstring str;
+ str = getNewLabel(str);
+ toc.push_back(TocItem(pit, 0, str));
+}
+