- bool really_change_font = currentMode() == TEXT_MODE
- && isMathFont(from_ascii(mi.base.fontname));
- FontSetChanger dummy(mi.base, "textnormal", really_change_font);
+ Changer dummy = mi.base.changeEnsureMath(currentMode());
- bool really_change_font = currentMode() == TEXT_MODE
- && isMathFont(from_ascii(pi.base.fontname));
- FontSetChanger dummy(pi.base, "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);