using std::vector;
-string const InsetTOC::getScreenLabel() const
+string const InsetTOC::getScreenLabel(Buffer const *) const
{
string const cmdname(getCmdName());
int InsetTOC::ascii(Buffer const * buffer, std::ostream & os, int) const
{
- os << getScreenLabel() << "\n\n";
+ os << getScreenLabel(buffer) << "\n\n";
string type;
string const cmdname = getCmdName();