width property

double width
getter/setter pair

Width of widget; used for collision detection

Implementation

double width;