void addToToc(DocIterator const & di, bool output_active,
UpdateType utype, TocBackend & backend) const;
/// Update the counters of this inset and of its contents
- void updateBuffer(ParIterator const &, UpdateType);
+ void updateBuffer(ParIterator const &, UpdateType, bool const deleted = false);
///
bool insetAllowed(InsetCode) const;
private: