W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > October 2012

[Bug 18615] Define how SourceBuffer.buffered maps to HTMLMediaElement.buffered

From: <bugzilla@jessica.w3.org>
Date: Fri, 12 Oct 2012 11:56:01 +0000
To: public-html-bugzilla@w3.org
Message-ID: <bug-18615-2486-gU7UKA35Bd@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=18615

--- Comment #5 from Philip J├Ągenstedt <philipj@opera.com> ---
The new spec text is in
http://dvcs.w3.org/hg/html-media/raw-file/tip/media-source/media-source.html#htmlmediaelement-attributes

The important bit is "If the highest intersection end time is less than the
highest end time, then update the intersection range so that the highest
intersection end time equals the highest end time." As far as I can tell, this
has the same problem as noted in Comment 1, as the highest intersection end
time will be 10 and the highest end time will be 30.

It's also ambiguos what "so that the highest intersection end time equals the
highest end time" means, since it could mean either modifying the last range
(intended) or adding a new range (not intended). Talking about the end time of
the last range and modifying the last range could make this clearer.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Friday, 12 October 2012 11:56:05 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 12 October 2012 11:56:06 GMT