+ ///
+ bool getStatus(Cursor & cur, FuncRequest const & cmd, FuncStatus & status) const;
+ ///
+ void doDispatch(Cursor & cur, FuncRequest & cmd);
+ //@}
+
+ ///
+ void uniqueLabel(docstring & label) const;
+ ///
+ void updateReferences(docstring const & old_label,
+ docstring const & new_label);
+ ///
+ docstring screen_label_;
+ ///
+ docstring active_counter_;
+ ///
+ docstring counter_value_;
+ ///
+ docstring pretty_counter_;