docstring const & prettyCounter() const { return pretty_counter_; }
/// Updates only the label string, doesn't handle undo nor references.
void updateLabel(docstring const & new_label);
- /// Updates the label. Will handle undo/redo as well as update the
- /// references to this label if \p cursor is passed.
+ /// Updates the label and the references to it.
+ /// Will also handle undo/redo if \p cursor is passed.
void updateLabelAndRefs(docstring const & new_label, Cursor * cursor = 0);
/// \name Public functions inherited from Inset class