W3C home > Mailing lists > Public > public-html@w3.org > January 2010

Re: Remove .played from media elements

From: Robert O'Callahan <robert@ocallahan.org>
Date: Wed, 20 Jan 2010 14:11:53 +1300
Message-ID: <11e306601001191711l615bafbfodba89546ff47c85f@mail.gmail.com>
To: Simon Pieters <simonp@opera.com>
Cc: "public-html@w3.org" <public-html@w3.org>
On Wed, Jan 20, 2010 at 5:38 AM, Simon Pieters <simonp@opera.com> wrote:

> What's the use case for .played on media elements? As far as I know
> existing media players don't have any UI for what has been played. We think
> .played should be dropped from the spec.

Also, listening for timeupdate events can give you a very good approximation
to .played.

It seems that .played is only useful if you want to dynamically add scripted
controls to an element, where the controls display what has been played, and
you really want the controls to display what was played before they were
added. I think we should drop it.

"He was pierced for our transgressions, he was crushed for our iniquities;
the punishment that brought us peace was upon him, and by his wounds we are
healed. We all, like sheep, have gone astray, each of us has turned to his
own way; and the LORD has laid on him the iniquity of us all." [Isaiah
Received on Wednesday, 20 January 2010 01:12:26 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 29 October 2015 10:15:57 UTC