Changer dummy2 = mi.base.changeEnsureMath();
Dimension dim0;
cell(0).metrics(mi, dim0);
- Changer dummy = mi.base.changeFrac();
+ Changer dummy = mi.base.changeScript();
Dimension dim1;
cell(1).metrics(mi, dim1);
dim.wid = max(dim1.width(), dim0.wid) + 4;
int m = x + dim.wid / 2;
int yo = y - dim0.asc - dim1.des - 1;
cell(0).draw(pi, m - dim0.wid / 2, y);
- Changer dummy = pi.base.changeFrac();
+ Changer dummy = pi.base.changeScript();
cell(1).draw(pi, m - dim1.width() / 2, yo);
}
Changer dummy2 = mi.base.changeEnsureMath();
Dimension dim0;
cell(0).metrics(mi, dim0);
- Changer dummy = mi.base.changeFrac();
+ Changer dummy = mi.base.changeScript();
Dimension dim1;
cell(1).metrics(mi, dim1);
if (nargs() > 2) {
int m = x + dim.width() / 2;
int yo = y - dim0.ascent() - dim1.descent() - 1;
cell(0).draw(pi, m - dim0.width() / 2, y);
- Changer dummy = pi.base.changeFrac();
+ Changer dummy = pi.base.changeScript();
cell(1).draw(pi, m - dim1.width() / 2, yo);
if (nargs() > 2) {
Dimension const & dim2 = cell(2).dimension(*pi.base.bv);
Changer dummy2 = mi.base.changeEnsureMath();
Dimension dim0;
cell(0).metrics(mi, dim0);
- Changer dummy = mi.base.changeFrac();
+ Changer dummy = mi.base.changeScript();
Dimension dim1;
cell(1).metrics(mi, dim1);
dim.wid = max(dim1.width(), dim0.width()) + 4;
int m = x + dim.wid / 2;
int yo = y + dim0.descent() + dim1.ascent() + 1;
cell(0).draw(pi, m - dim0.width() / 2, y);
- Changer dummy = pi.base.changeFrac();
+ Changer dummy = pi.base.changeScript();
cell(1).draw(pi, m - dim1.width() / 2, yo);
}