- InsetMarginal * result = new InsetMarginal;
- result->inset.init(&inset);
-
- result->collapsed = collapsed;
- return result;
+ setLabel(_("margin"));
+ setInsetName("Marginal");
+}
+
+
+Inset * InsetMarginal::clone(Buffer const &, bool same_id) const
+{
+ return new InsetMarginal(*const_cast<InsetMarginal *>(this), same_id);