method
set_width (w : int) : unit =
self
#
set_style_property
"width"
(string_of_px w)