{
Changer dummy = mi.base.changeEnsureMath();
Dimension dim0;
{
Changer dummy = mi.base.changeEnsureMath();
Dimension dim0;
- cell(0).metrics(mi, dim0);
+ cell(0).metrics(mi, dim0, false);
Dimension t = theFontMetrics(mi.base.font).dimension('I');
int h0 = (t.asc + t.des) / 2;
int a0 = max(dim0.asc, t.asc) - h0;
Dimension t = theFontMetrics(mi.base.font).dimension('I');
int h0 = (t.asc + t.des) / 2;
int a0 = max(dim0.asc, t.asc) - h0;
- Handle some cases where underline across insets did not painted (bug 11402).
- Handle some cases where underline across insets did not painted (bug 11402).
+- Fix minimal height of delimiters inset (bug 11337).
+