method
set_height (h : int) : unit =
self
#
set_style_property
"height"
(string_of_px h)