///
docstring labelstring() const { return labelstring_; }
///
+ docstring menustring() const { return menustring_; }
+ ///
bool contentaslabel() const { return contentaslabel_; }
///
InsetDecoration decoration() const { return decoration_; }
///
docstring labelstring_;
///
+ docstring menustring_;
+ ///
bool contentaslabel_;
///
InsetDecoration decoration_;