+ docstring label;
+ if (!floatName.empty())
+ label = _(floatName);
+ // BUG3633: listings is not a proper float so its name
+ // is not shown in floatlist.
+ else if (cit->first == "listing")
+ label = _("List of listings");
+ // this should not happen now, but if something else like
+ // listings is added later, this can avoid an empty menu name.
+ else
+ label = _("Other floats");
+ MenuItem item(MenuItem::Submenu, label);