void MathCasesInset::metrics(MathMetricsInfo & mi) const
{
MathGridInset::metrics(mi);
- width_ += 8;
+ dim_.w += 8;
}
{
os << "[cases ";
MathGridInset::normalize(os);
- os << "]";
+ os << ']';
}
{
os << "cases(";
MathGridInset::maplize(os);
- os << ")";
+ os << ')';
}