- From: <bugzilla@jessica.w3.org>
- Date: Tue, 25 Sep 2012 15:34:22 +0000
- To: public-html-media@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19009
Summary: A MediaKeys should belong to a single
HTMLMediaElement.
Product: HTML WG
Version: unspecified
Platform: PC
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: Encrypted Media Extensions
AssignedTo: adrianba@microsoft.com
ReportedBy: jer.noble@apple.com
QAContact: public-html-bugzilla@w3.org
CC: mike@w3.org, public-html-media@w3.org
Typically, a DOM object has a single parent and 0-to-many child objects. When
it is possible for a DOM Object to change parents (e.g. Node.appendChild(),
TextTrack.addCue(), etc.) the new parent will first remove the child from it's
existing parent.
The normative section of HTMLMediaElement mediaKeys property should add a step
to the effect of:
"2. If the given /keys/ is already a HTMLMediaElement's /keys/, then remove the
/keys/ from that HTMLMediaElement."
--
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
Received on Tuesday, 25 September 2012 15:34:47 UTC