passthru_(false), parbreakisnewline_(false), freespacing_(false),
keepempty_(false), forceltr_(false),
needprotect_(false), intoc_(false), spellcheck_(true),
- resetsfont_(true), display_(true)
+ resetsfont_(true), display_(true), forcelocalfontswitch_(false)
{
labelfont_.setColor(Color_error);
}
IL_DECORATION,
IL_DISPLAY,
IL_FONT,
+ IL_FORCE_LOCAL_FONT_SWITCH,
IL_FORCELTR,
IL_FORCEPLAIN,
IL_FREESPACING,
{ "display", IL_DISPLAY },
{ "end", IL_END },
{ "font", IL_FONT },
+ { "forcelocalfontswitch", IL_FORCE_LOCAL_FONT_SWITCH },
{ "forceltr", IL_FORCELTR },
{ "forceplain", IL_FORCEPLAIN },
{ "freespacing", IL_FREESPACING },
case IL_LEFTDELIM:
lex >> leftdelim_;
break;
+ case IL_FORCE_LOCAL_FONT_SWITCH:
+ lex >> forcelocalfontswitch_;
+ break;
case IL_RIGHTDELIM:
lex >> rightdelim_;
break;