user_priority property

  1. @Int()
int user_priority
getter/setter pair

Implementation

@integer_t()
external int user_priority;