properName property

String properName
final

The name displayed to the user

Implementation

final String properName;