width_ += 2 * font_metrics::width(' ', font_);
lyxerr << "MathCharInset::metrics: " << dim << endl;
#endif
+ width_ = dim.wid;
}
{
return char_ == '=' || char_ == '<' || char_ == '>';
}
-
-
-bool MathCharInset::match(MathInset const * p) const
-{
- MathCharInset const * q = p->asCharInset();
- return q && char_ == q->char_;
-}