A short, textual description of this widget.
@override String toStringShort() => $value.toStringShort();