- if (lexrc.next()) {
- font_sizes[FONT_SIZE_TINY] =
- lexrc.getString();
- }
- if (lexrc.next()) {
- font_sizes[FONT_SIZE_SCRIPT] =
- lexrc.getString();
- }
- if (lexrc.next()) {
- font_sizes[FONT_SIZE_FOOTNOTE] =
- lexrc.getString();
- }
- if (lexrc.next()) {
- font_sizes[FONT_SIZE_SMALL] =
- lexrc.getString();
- }
- if (lexrc.next()) {
- font_sizes[FONT_SIZE_NORMAL] =
- lexrc.getString();
- }
- if (lexrc.next()) {
- font_sizes[FONT_SIZE_LARGE] =
- lexrc.getString();
- }
- if (lexrc.next()) {
- font_sizes[FONT_SIZE_LARGER] =
- lexrc.getString();
- }
- if (lexrc.next()) {
- font_sizes[FONT_SIZE_LARGEST] =
- lexrc.getString();
- }
- if (lexrc.next()) {
- font_sizes[FONT_SIZE_HUGE] =
- lexrc.getString();
- }
- if (lexrc.next()) {
- font_sizes[FONT_SIZE_HUGER] =
- lexrc.getString();
- }
+ lexrc >> font_sizes[FONT_SIZE_TINY];
+ lexrc >> font_sizes[FONT_SIZE_SCRIPT];
+ lexrc >> font_sizes[FONT_SIZE_FOOTNOTE];
+ lexrc >> font_sizes[FONT_SIZE_SMALL];
+ lexrc >> font_sizes[FONT_SIZE_NORMAL];
+ lexrc >> font_sizes[FONT_SIZE_LARGE];
+ lexrc >> font_sizes[FONT_SIZE_LARGER];
+ lexrc >> font_sizes[FONT_SIZE_LARGEST];
+ lexrc >> font_sizes[FONT_SIZE_HUGE];
+ lexrc >> font_sizes[FONT_SIZE_HUGER];