- font.setSize(static_cast<LyXFont::FONT_SIZE>(Int));
-
- } else if (token == "emph") {
- font.setEmph(static_cast<LyXFont::FONT_MISC_STATE>(Int));
-
- } else if (token == "underbar") {
- font.setUnderbar(static_cast<LyXFont::FONT_MISC_STATE>(Int));
-
- } else if (token == "noun") {
- font.setNoun(static_cast<LyXFont::FONT_MISC_STATE>(Int));
-
- } else if (token == "number") {
- font.setNumber(static_cast<LyXFont::FONT_MISC_STATE>(Int));
+ int const next = lex.getInteger();
+ LyXFont::FONT_SIZE const size =
+ static_cast<LyXFont::FONT_SIZE>(next);
+ font.setSize(size);
+
+ } else if (token == "emph" || token == "underbar" ||
+ token == "noun" || token == "number") {
+
+ int const next = lex.getInteger();
+ LyXFont::FONT_MISC_STATE const misc =
+ static_cast<LyXFont::FONT_MISC_STATE>(next);
+
+ if (token == "emph")
+ font.setEmph(misc);
+ else if (token == "underbar")
+ font.setUnderbar(misc);
+ else if (token == "noun")
+ font.setNoun(misc);
+ else if (token == "number")
+ font.setNumber(misc);