… | |
… | |
1543 | |
1543 | |
1544 | if (set >= 0) |
1544 | if (set >= 0) |
1545 | { |
1545 | { |
1546 | THIS->set_option (optval, set); |
1546 | THIS->set_option (optval, set); |
1547 | |
1547 | |
1548 | if (THIS->env_colorfgbg [0]) // avoid doing this before START |
1548 | if (THIS->init_done) // avoid doing this before START |
1549 | switch (optval) |
1549 | switch (optval) |
1550 | { |
1550 | { |
1551 | case Opt_skipBuiltinGlyphs: |
1551 | case Opt_skipBuiltinGlyphs: |
1552 | THIS->set_fonts (); |
1552 | THIS->set_fonts (); |
1553 | THIS->scr_remap_chars (); |
1553 | THIS->scr_remap_chars (); |