BoxType btype = boxtranslator().find(params_.type);
docstring label;
- // FIXME UNICODE
label += _("Box");
label += " (";
if (btype == Frameless) {
else
label += _("Minipage");
} else
- // FXIME unicode
+ // FIXME UNICODE
label += from_utf8(boxtranslator_loc().find(btype));
label += ")";