[Bug 19009] New: A MediaKeys should belong to a single HTMLMediaElement.

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