Introduce a "formatted counter" for use with formatted reference during

[features.git] / src / insets / InsetLabel.h

diff --git a/src/insets/InsetLabel.h b/src/insets/InsetLabel.h
index 1ad8da9b1675632d08c86bd44d6cda3c1b146ec3..ab78761b96fb6231c5df138268dd6bbd7b49bfa7 100644 (file)
--- a/src/insets/InsetLabel.h
+++ b/src/insets/InsetLabel.h
@@ -66,6 +66,8 @@ public:
        docstring const & activeCounter() const { return active_counter_; }
        ///
        docstring const & counterValue() const { return counter_value_; }
+       ///
+       docstring const & prettyCounter() const { return pretty_counter_; }
 protected:
        ///
        void doDispatch(Cursor & cur, FuncRequest & cmd);
@@ -78,6 +80,8 @@ private:
        docstring active_counter_;
        ///
        docstring counter_value_;
+       ///
+       docstring pretty_counter_;
 };