thumbHeight property

int thumbHeight
getter/setter pair

Implementation

int thumbHeight;