update_interval

Description:

public void update_interval (string property_name, Interval interval)

Changes the interval for property_name.

Note:

The Animation will take ownership of the passed Interval.