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;
dim.asc = dim1.asc + dim0.height() + 4;
dim.des = dim1.des;
- metricsMarkers(mi, dim);
}
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);
- drawMarkers(pi, x, y);
}