# File control/EditProperties/EditProperties.rb, line 174
  def arg_number=(new_number)
    @argument[:value] = new_number
  end