return new InsetLabel(params(), same_id);
}
///
- string const getScreenLabel() const { return getContents(); }
+ string const getScreenLabel(Buffer const *) const { return getContents(); }
///
EDITABLE editable() const { return IS_EDITABLE; }
///
///
int linuxdoc(Buffer const *, std::ostream &) const;
///
- int docBook(Buffer const *, std::ostream &) const;
+ int docbook(Buffer const *, std::ostream &) const;
};
#endif