bool really_change_font = fontname != "textcal";
Changer dummy = really_change_font ? mi.base.changeFontSet(fontname)
- : Changer();
+ : noChange();
cell(0).metrics(mi, dim);
}
bool really_change_font = fontname != "textcal";
Changer dummy = really_change_font ? pi.base.changeFontSet(fontname)
- : Changer();
+ : noChange();
cell(0).draw(pi, x, y);
}
}
-void InsetMathFontOld::write(WriteStream & os) const
+void InsetMathFontOld::write(TeXMathStream & os) const
{
os << "{\\" << key_->name << ' ' << cell(0) << '}';
}