+namespace {
+
+typedef Translator<InsetInfo::info_type, string> NameTranslator;
+
+NameTranslator const initTranslator()
+{
+ NameTranslator translator(InsetInfo::UNKNOWN_INFO, "unknown");
+
+ translator.addPair(InsetInfo::SHORTCUTS_INFO, "shortcuts");
+ translator.addPair(InsetInfo::SHORTCUT_INFO, "shortcut");
+ translator.addPair(InsetInfo::LYXRC_INFO, "lyxrc");
+ translator.addPair(InsetInfo::PACKAGE_INFO, "package");
+ translator.addPair(InsetInfo::TEXTCLASS_INFO, "textclass");
+ translator.addPair(InsetInfo::MENU_INFO, "menu");
+ translator.addPair(InsetInfo::ICON_INFO, "icon");
+ translator.addPair(InsetInfo::BUFFER_INFO, "buffer");
+ translator.addPair(InsetInfo::LYX_INFO, "lyxinfo");