using std::ostream;
using std::max;
+using std::auto_ptr;
InsetSpace::InsetSpace()
dim.wid = 10;
break;
}
+ dim_ = dim;
}
void InsetSpace::draw(PainterInfo & pi, int x, int y) const
{
- int const w = width(pi.base.bv, pi.base.font);
+ int const w = width();
int const h = font_metrics::ascent('x', pi.base.font);
int xp[4], yp[4];
}
-InsetBase * InsetSpace::clone() const
+auto_ptr<InsetBase> InsetSpace::clone() const
{
- return new InsetSpace(kind_);
+ return auto_ptr<InsetBase>(new InsetSpace(kind_));
}