Changer dummy2 = mi.base.changeEnsureMath();
Dimension dim1;
cell(1).metrics(mi, dim1);
- Changer dummy = mi.base.changeFrac();
+ Changer dummy = mi.base.changeScript();
Dimension dim0;
cell(0).metrics(mi, dim0);
dim.wid = max(dim0.width(), dim1.wid) + 4;
int m = x + dim.wid / 2;
int yo = y - dim1.asc - dim0.des - 1;
cell(1).draw(pi, m - dim1.wid / 2, y);
- Changer dummy = pi.base.changeFrac();
+ Changer dummy = pi.base.changeScript();
cell(0).draw(pi, m - dim0.width() / 2, yo);
}