Add `set_property_width_option`