+
+void note_gui_tokens(vector<string> & ids, vector<string> & gui_names)
+{
+ char const * const ids_[] = {"Note", "Comment", "Greyedout"};
+ size_t const ids_size = sizeof(ids_) / sizeof(char *);
+ ids = vector<string>(ids_, ids_ + ids_size);
+ gui_names.clear();
+ gui_names.push_back(_("LyX Note"));
+ gui_names.push_back(_("Comment"));
+ gui_names.push_back(_("Greyed Out"));
+}