W3C home > Mailing lists > Public > public-html-media@w3.org > September 2012

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

From: <bugzilla@jessica.w3.org>
Date: Tue, 25 Sep 2012 15:34:22 +0000
To: public-html-media@w3.org
Message-ID: <bug-19009-5436@http.www.w3.org/Bugs/Public/>

           Summary: A MediaKeys should belong to a single
           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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 15:48:26 UTC