///
InsetLabel(InsetCommandParams const &);
///
- //InsetLabel(InsetCommandParams const &, bool same_id);
- ///
~InsetLabel();
///
- virtual Inset * clone(Buffer const &) const {
+ virtual Inset * clone() const {
return new InsetLabel(params());
}
///
- //virtual Inset * clone(Buffer const &, bool same_id) const {
- // return new InsetLabel(params(), same_id);
- //}
- ///
virtual dispatch_result localDispatch(FuncRequest const & cmd);
///
string const getScreenLabel(Buffer const *) const { return getContents(); }