/// can we go further down on mouse click?
bool descendable(BufferView const &) const { return true; }
// Update the counters of this inset and of its contents
- void updateLabels(ParIterator const &);
+ void updateLabels(ParIterator const &, bool);
///
bool completionSupported(Cursor const &) const;