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

Remove .played from media elements

From: Simon Pieters <simonp@opera.com>
Date: Tue, 19 Jan 2010 17:38:53 +0100
To: "public-html@w3.org" <public-html@w3.org>
Message-ID: <op.u6sgi3h3idj3kv@zcorpandell.linkoping.osa>

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.

-- 
Simon Pieters
Opera Software

Received on Tuesday, 19 January 2010 16:39:33 UTC

This message: [ Message body ]
Next message: Dr. Olaf Hoffmann: "Re: draft HTML5: Techniques for the provision of text alternatives"
Previous message: Julian Reschke: "Re: text/sandboxed-html"
Next in thread: Robert O'Callahan: "Re: Remove .played from media elements"
Reply: Robert O'Callahan: "Re: Remove .played from media elements"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.4.0 : Saturday, 9 October 2021 18:45:08 UTC