# File control/EditProperties/EditProperties.rb, line 205
  def arg_integer=(new_int)
    @argument[:value] = new_int
  end