}
-void box_gui_tokens(vector<string> & ids, vector<string> & gui_names)
+void box_gui_tokens(vector<string> & ids, vector<docstring> & gui_names)
{
char const * const ids_[] = {
"Frameless", "Boxed", "ovalbox",
size_t const ids_size = sizeof(ids_) / sizeof(char *);
ids = vector<string>(ids_, ids_ + ids_size);
gui_names.clear();
- // FIXME UNICODE
- gui_names.push_back(lyx::to_utf8(_("No frame drawn")));
- gui_names.push_back(lyx::to_utf8(_("Rectangular box")));
- gui_names.push_back(lyx::to_utf8(_("Oval box, thin")));
- gui_names.push_back(lyx::to_utf8(_("Oval box, thick")));
- gui_names.push_back(lyx::to_utf8(_("Shadow box")));
- gui_names.push_back(lyx::to_utf8(_("Double box")));
+ gui_names.push_back(_("No frame drawn"));
+ gui_names.push_back(_("Rectangular box"));
+ gui_names.push_back(_("Oval box, thin"));
+ gui_names.push_back(_("Oval box, thick"));
+ gui_names.push_back(_("Shadow box"));
+ gui_names.push_back(_("Double box"));
}
void box_gui_tokens_special_length(vector<string> & ids,
- vector<string> & gui_names)
+ vector<docstring> & gui_names)
{
char const * const ids_[] = {
"none", "height", "depth",
size_t const ids_size = sizeof(ids_) / sizeof(char *);
ids = vector<string>(ids_, ids_ + ids_size);
gui_names.clear();
- // FIXME UNICODE
- gui_names.push_back(lyx::to_utf8(_("None")));
- gui_names.push_back(lyx::to_utf8(_("Height")));
- gui_names.push_back(lyx::to_utf8(_("Depth")));
- gui_names.push_back(lyx::to_utf8(_("Total Height")));
- gui_names.push_back(lyx::to_utf8(_("Width")));
+ gui_names.push_back(_("None"));
+ gui_names.push_back(_("Height"));
+ gui_names.push_back(_("Depth"));
+ gui_names.push_back(_("Total Height"));
+ gui_names.push_back(_("Width"));
}
} // namespace frontend