method set_props o =
      props <- o;
      self#update_params_widgets