thumHeight property

int thumHeight
getter/setter pair

Implementation

int thumHeight;