- docstring str;
- str = notetranslator_loc().find(params_.type) + from_ascii(": ")
- + text().getPar(0).asString();
- toc.push_back(TocItem(pit, 0, str));
+ InsetLayout const & il = getLayout();
+ docstring str = translateIfPossible(il.labelstring()) + from_ascii(": ");
+ text().forToc(str, TOC_ENTRY_LENGTH);
+ toc.push_back(TocItem(pit, 0, str, output_active, toolTipText(docstring(), 3, 60)));
+