dw_ = 8;
if (dw_ < 4)
dw_ = 4;
- dim.wid = dim0.width() + 2 * dw_;
+ dim.wid = dim0.width() + 2 * dw_ + 2 * mathed_thinmuskip(mi.base.font);
dim.asc = max(a0, d0) + h0;
dim.des = max(a0, d0) - h0;
}
Changer dummy = pi.base.changeEnsureMath();
Dimension const dim = dimension(*pi.base.bv);
int const b = y - dim.asc;
- cell(0).draw(pi, x + dw_, y);
- mathed_draw_deco(pi, x, b, dw_, dim.height(), left_);
- mathed_draw_deco(pi, x + dim.width() - dw_,
+ int const skip = mathed_thinmuskip(pi.base.font);
+ cell(0).draw(pi, x + dw_ + skip, y);
+ mathed_draw_deco(pi, x + skip / 2, b, dw_, dim.height(), left_);
+ mathed_draw_deco(pi, x + dim.width() - dw_ - skip / 2,
b, dw_, dim.height(), right_);
}
void InsetMathDelim::mathmlize(MathStream & os) const
{
os << "<mo form='prefix' fence='true' stretchy='true' symmetric='true'>"
- << convertDelimToXMLEscape(left_)
+ << convertDelimToXMLEscape(left_)
<< "</mo>\n"
- << cell(0)
- << "\n<mo form='postfix' fence='true' stretchy='true' symmetric='true'>"
- << convertDelimToXMLEscape(right_)
+ << cell(0)
+ << "\n<mo form='postfix' fence='true' stretchy='true' symmetric='true'>"
+ << convertDelimToXMLEscape(right_)
<< "</mo>\n";
}
void InsetMathDelim::htmlize(HtmlStream & os) const
{
- os << convertDelimToXMLEscape(left_)
- << cell(0)
+ os << convertDelimToXMLEscape(left_)
+ << cell(0)
<< convertDelimToXMLEscape(right_);
}