///
void Write(Buffer const * buf, std::ostream & os) const;
///
- Inset * Clone() const;
+ Inset * Clone(Buffer const &) const;
///
- char const * EditMessage() const;
+ string const EditMessage() const;
///
bool InsertInset(BufferView *, Inset *) { return false; }
///