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