width_30 top-level property

double width_30
getter/setter pair

Implementation

double width_30 = 30.0.w;