///
void validate(LaTeXFeatures & features) 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);
///
docstring toolTip(BufferView const & bv, int x, int y) const;
///