by ControlToc::getContents() */
std::string const getType(std::string const & cmdName);
-/// Returns the guiname from a given CmdName
-std::string const getGuiName(std::string const & cmdName, Buffer const &);
+/** 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)