height property

double height
getter/setter pair

Height of widget; used for collision detection

Implementation

double height;