width_frame property

double width_frame
getter/setter pair

Implementation

double width_frame  ;