+ ///
+ docstring const & activeCounter() const { return active_counter_; }
+ ///
+ docstring const & counterValue() const { return counter_value_; }
+ ///
+ 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 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
+ //@{