+}
+
+
+InsetFloatList::InsetFloatList(string const & type)
+ : InsetCommand(InsetCommandParams())
+{
+ setCmdName(type);
+}
+
+
+string const InsetFloatList::getScreenLabel(Buffer const *) const
+{
+ string const guiName = floatList[getCmdName()]->second.name();