mediastream: Use `get_duration` for the duration property
The current behaviour is to get the priv->duration
value when the duration
property is requested. GtkMediaStream
already has a get_duration
property, which can be used to get the duration
property.
This is useful in situations where the duration
changes, like when GStreamer discovers the new duration of a stream after a while. Implementations can then just call media_stream.notify("duration")
, override get_duration
and the new duration can be used.
Thanks!
Related to GNOME/Incubator/decibels!80 (merged)