by ControlToc::getContents() */
std::string const getType(std::string const & cmdName);
+/** Returns the guiname from a given @c type
+ The localization of the names will be done in the frontends */
+std::string const getGuiName(std::string const & type, Buffer const &);
+
inline
bool operator==(TocItem const & a, TocItem const & b)
{