- bool really_change_font = currentMode() == TEXT_MODE
- && isMathFont(mi.base.fontname);
- Changer dummy = mi.base.changeFontSet("textnormal", really_change_font);
+ Changer dummy = mi.base.changeEnsureMath(currentMode());
- bool really_change_font = currentMode() == TEXT_MODE
- && isMathFont(pi.base.fontname);
- Changer dummy = pi.base.changeFontSet("textnormal", really_change_font);
+ Changer dummy = pi.base.changeEnsureMath(currentMode());
Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
if (wide())
mathed_draw_deco(pi, x + 1, y + dy_, dim0.wid, dh_, key_->name);
else
mathed_draw_deco(pi, x + 1 + (dim0.wid - dw_) / 2,
y + dy_, dw_, dh_, key_->name);
Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
if (wide())
mathed_draw_deco(pi, x + 1, y + dy_, dim0.wid, dh_, key_->name);
else
mathed_draw_deco(pi, x + 1 + (dim0.wid - dw_) / 2,
y + dy_, dw_, dh_, key_->name);