- char const * const ids_[] = {
- "Frameless", "Boxed", "ovalbox",
- "Ovalbox", "Shadowbox", "Shaded", "Doublebox"};
- size_t const ids_size = sizeof(ids_) / sizeof(char *);
- ids = vector<string>(ids_, ids_ + ids_size);
- gui_names.clear();
- gui_names.push_back(_("No frame"));
- gui_names.push_back(_("Simple rectangular frame"));
- gui_names.push_back(_("Oval frame, thin"));
- gui_names.push_back(_("Oval frame, thick"));
- gui_names.push_back(_("Drop shadow"));
- gui_names.push_back(_("Shaded background"));
- gui_names.push_back(_("Double rectangular frame"));