using std::ostream;
using std::endl;
+using std::auto_ptr;
InsetEnvironment::InsetEnvironment
{}
-// InsetEnvironment::InsetEnvironment(InsetEnvironment const & in, bool same_id)
-// : InsetText(in, same_id), layout_(in.layout_)
-// {}
-
-
-Inset * InsetEnvironment::clone(Buffer const &) const
+auto_ptr<InsetBase> InsetEnvironment::clone() const
{
- return new InsetEnvironment(*this);
+ return auto_ptr<InsetBase>(new InsetEnvironment(*this));
}
-// Inset * InsetEnvironment::clone(Buffer const &, bool same_id) const
-// {
-// return new InsetEnvironment(*this, same_id);
-// }
-
-
void InsetEnvironment::write(Buffer const * buf, ostream & os) const
{
os << "Environment " << getInsetName() << "\n";