}
-string const & MathUnknownInset::name() const
+string MathUnknownInset::name() const
{
return name_;
}
-string & MathUnknownInset::name()
+void MathUnknownInset::setName(string const & name)
{
- return name_;
+ name_ = name;
}
-bool MathUnknownInset::match(MathInset * p) const
+bool MathUnknownInset::match(MathAtom const & at) const
{
- MathUnknownInset const * q = p->asUnknownInset();
+ MathUnknownInset const * q = at->asUnknownInset();
return q && name_ == q->name_;
}
-void MathUnknownInset::write(WriteStream & os) const
-{
- os << "\\" << name_ << ' ';
-}
-
-
void MathUnknownInset::normalize(NormalStream & os) const
{
os << "[unknown " << name_ << ']';
void MathUnknownInset::metrics(MathMetricsInfo & mi) const
{
- mathed_string_dim(mi.base.font, name_, ascent_, descent_, width_);
+ mathed_string_dim(mi.base.font, name_, dim_);
}