+CommandInfo const * InsetLabel::findInfo(string const & /* cmdName */)
+{
+ static const char * const paramnames[] = {"name", ""};
+ static const bool isoptional[] = {false};
+ static const CommandInfo info = {1, paramnames, isoptional};
+ return &info;
+}
+
+
+Inset * InsetLabel::clone() const